Index of /cgi-bin/Jud/configuration

 NameLast modifiedSizeDescription
 Parent Directory   -  
 configuration.pl 2023-05-06 15:32 10K 
 ignore_files.txt 2013-12-30 08:15 0  
 stop_terms.txt 2025-08-31 12:37 4.0K