size last-changed name 7,7K 2007-11-15 17:58 sic.texi 4,0K 2026-03-25 09:30 ./ 4,0K 2026-03-25 09:30 ../ 967 2007-11-15 17:58 Makefile.am 894 2026-03-25 09:30 index.html 349 2026-03-25 09:30 index-size.html