| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 29 | logplain |
| -rwxr-xr-x | bump_copyright_years | 277 | logplain |
| -rwxr-xr-x | generate_dox_biblio | 391 | logplain |
| -rw-r--r-- | generate_dox_biblio.sed | 493 | logplain |
| -rwxr-xr-x | generate_dox_ci_prolog_manual | 286 | logplain |
| -rwxr-xr-x | generate_man_pages | 599 | logplain |
| -rwxr-xr-x | git2cl | 10631 | logplain |
| -rwxr-xr-x | print_nonascii_lines | 51 | logplain |
| -rwxr-xr-x | update_ChangeLog | 32 | logplain |
 |
index : ppl.git | |
| ppl |
| summaryrefslogtreecommitdiff |