Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | default.mk | 7059 | logplain |
-rwxr-xr-x | guidesplit.pl | 2633 | logplain |
-rwxr-xr-x | manfull.pl | 1133 | logplain |
-rwxr-xr-x | mansplit.pl | 3281 | logplain |
-rw-r--r-- | org-fixup.el | 8574 | logplain |
-rwxr-xr-x | orgcard2txt.pl | 3452 | logplain |
-rw-r--r-- | server.mk | 1923 | logplain |
-rw-r--r-- | targets.mk | 4874 | logplain |