* font/devdvi/DESC.in: Change size 11pt to 10.95pt (as used in
[s-roff.git] / src / utils / 
tree3c1590c02fe248def8e994104d5f91688b75b345
drwxr-xr-x   ..
drwxr-xr-x - addftinfo
drwxr-xr-x - afmtodit
drwxr-xr-x - hpftodit
drwxr-xr-x - indxbib
drwxr-xr-x - lkbib
drwxr-xr-x - lookbib
drwxr-xr-x - pfbtops
drwxr-xr-x - tfmtodit