![[ICO]](/theme/icons/blank.png){kind=icon} | Name | Last modified | Size |
|---|---|---|---|
![[PARENTDIR]](/theme/icons/folder-home.png){kind=icon} | Parent Directory | - | |
![[ ]](/theme/icons/default.png){kind=icon} | encodingtable | 2006-05-16 18:11 | 1.8K |
| plinfo | 2006-05-16 18:14 | 2.9K |
| rfont | 2006-05-16 21:01 | 5.5K |
![[ ]](/theme/icons/rb.png){kind=icon} | afm2tfm.rb | 2006-05-16 18:10 | 6.7K |
| rfii | 2006-05-16 18:53 | 6.9K |
| afminfo | 2006-05-16 18:09 | 7.1K |
| pldiff | 2006-05-16 18:13 | 7.7K |