Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | BUGS | 208 | logplain |
-rw-r--r-- | COPYING | 267 | logplain |
-rw-r--r-- | Makefile | 1349 | logplain |
-rw-r--r-- | README | 1185 | logplain |
-rw-r--r-- | htmtojargon.awk | 543 | logplain |
-rw-r--r-- | removeetags.pl | 149 | logplain |
-rw-r--r-- | symbols | 8181 | logplain |
-rw-r--r-- | symbolstosed.awk | 98 | logplain |
-rw-r--r-- | xmlcleanup.sed | 505 | logplain |
-rw-r--r-- | xmlcleanup2.sed | 192 | logplain |