Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
encodings/ | 1999-10-20 12:52 | - | ||
spacevpl.pl | 1993-09-24 05:30 | 10K | ||
spacevpl.man | 1993-09-24 05:30 | 1.8K | ||
paths.pl | 1993-09-24 05:30 | 1.7K | ||
parsepl.pl | 1993-09-24 05:30 | 8.0K | ||
parseenc.pl | 1993-09-24 05:30 | 3.5K | ||
makevpl.pl | 1993-09-24 05:30 | 20K | ||
makevpl.man | 1993-09-24 05:30 | 5.0K | ||
maketext | 1993-09-24 05:30 | 464 | ||
Makefile | 1993-09-24 05:30 | 2.2K | ||