chiark / gitweb /
Neep 10x20: Introduce bad font from xfonts-jmk
-rw-r--r-- 331 .gitignore
-rw-r--r-- 926 Makefile
drwxr-xr-x - bad
drwxr-xr-x - bdfsrc
-rwxr-xr-x 1570 checkfiles
drwxr-xr-x - debian
-rwxr-xr-x 68 ffconvert.pe
drwxr-xr-x - good
drwxr-xr-x - manual
-rwxr-xr-x 2443 mkrules
-rwxr-xr-x 1414 printrule
-rw-r--r-- 1274 specs
-rwxr-xr-x 13648 update-xfonts-traditional
-rw-r--r-- 3269 update-xfonts-traditional.8