size last-changed name
4,0K 2026-03-25 09:30 ./ 4,0K 2026-03-25 09:30 ../ 2,7K 2007-11-15 17:58 sic.texi 1,1K 2026-03-25 09:30 index.html 1,1K 2007-11-15 17:58 Makefile.am 631 2007-11-15 17:58 sic_1.texi 349 2026-03-25 09:30 index-size.html 157 2007-11-15 17:58 Makefile_2.texi 132 2007-11-15 17:58 Makefile_1.texi