Index of /cgi-bin/Rev/configuration

 NameLast modifiedSizeDescription
 Parent Directory   -  
 configuration.pl 2023-05-06 15:26 10K 
 stop_terms.txt 2025-05-04 04:18 2.4K 
 ignore_files.txt 2013-12-30 08:15 0