Filename Modification time Size Makefile 2009-04-10 18:16 CEST 295 B propernames 1997-03-26 08:14 CET 8640 B web2 2017-06-03 09:30 CEST 2429 KiB web2a 1993-03-21 10:45 CET 989 KiB