Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | default.mk | 5822 | logplain |
-rwxr-xr-x | guidesplit.pl | 2679 | logplain |
-rwxr-xr-x | manfull.pl | 912 | logplain |
-rwxr-xr-x | mansplit.pl | 3327 | logplain |
-rw-r--r-- | org-fixup.el | 7361 | logplain |
-rwxr-xr-x | orgcard2txt.pl | 3429 | logplain |
-rw-r--r-- | server.mk | 5664 | logplain |
-rw-r--r-- | targets.mk | 4980 | logplain |