Index of /javadev/lib

 Name                    Last modified       Size  Description

 Parent Directory        21-May-1997 12:29      -  
 appletviewer.properties 15-Mar-1997 03:18     1k  
 awt.properties          15-Mar-1997 02:08     1k  
 content-types.proper..> 15-Mar-1997 02:32     6k  
 font.properties         15-Mar-1997 02:49     7k  
 font.properties.cs      15-Mar-1997 02:49     8k  
 font.properties.el      15-Mar-1997 02:49     8k  
 font.properties.hu      15-Mar-1997 02:49     8k  
 font.properties.ja      15-Mar-1997 02:49    13k  
 font.properties.ko      15-Mar-1997 02:49     9k  
 font.properties.lt      15-Mar-1997 02:49     8k  
 font.properties.lv      15-Mar-1997 02:49     8k  
 font.properties.pl      15-Mar-1997 02:49     8k  
 font.properties.ru      15-Mar-1997 02:49     8k  
 font.properties.tr      15-Mar-1997 02:49     8k  
 font.properties.zh      15-Mar-1997 02:49     9k  
 font.properties.zh_TW   15-Mar-1997 02:49    23k  
 hotjava/                22-May-1997 13:12      -  
 javax.comm.properties   24-Sep-1998 08:54     1k  
 psfont.properties.ja    15-Mar-1997 02:49     3k  
 rmic.properties         15-Mar-1997 03:05     1k  
 security/               21-May-1997 13:34      -  
 serialver.properties    15-Mar-1997 03:06     1k  
 uimanager.properties    23-Jul-1997 16:37     1k