Index of /gracia/segex_files/lib/alternatives

 Name                     Last modified      Size  Description
 Parent Directory                              -   
 xinputrc                 2018-03-16 15:40  103   
 servlet                  2018-03-16 15:40   84   
 print                    2018-03-16 15:40  861   
 mta                      2018-03-16 15:40  689   
 ksh                      2018-03-16 15:40  132   
 jsp                      2018-03-16 15:40   76   
 jre_openjdk              2018-03-16 15:40  160   
 jre_gcj                  2018-03-16 15:40  139   
 jre_1.6.0                2018-03-16 15:40  154   
 jre_1.4.2                2018-03-16 15:40  145   
 jaxp_transform_impl      2018-03-16 15:40   78   
 jaxp_parser_impl         2018-03-16 15:40  112   
 java                     2018-03-16 15:40  1.8K  
 etags                    2018-03-16 15:40   45   
 antlr                    2018-03-16 15:40   44