Index of /tools

 NameLast modifiedSizeDescription

 Parent Directory   -  
 xmllint-exclusions.txt 2020-06-27 07:38 876  
 upgrade.php 2020-06-27 07:38 542  
 startSubmodulesTRAVI..>2020-06-27 07:38 2.1K 
 runScheduledTasks.php 2020-06-27 07:38 848  
 release.sh 2020-06-27 07:38 4.4K 
 rebuildSearchIndex.php 2020-06-27 07:38 2.3K 
 mergeUsers.php 2020-06-27 07:38 498  
 jsonlint-exclusions.txt2020-06-27 07:38 190  
 install.php 2020-06-27 07:38 1.2K 
 importExport.php 2020-06-27 07:38 1.7K 
 deleteSubmissions.php 2020-06-27 07:38 1.4K 
 dbXMLtoSQL.php 2020-06-27 07:38 904  
 cleanReviewerInteres..>2020-06-27 07:38 3.3K 
 bootstrap.inc.php 2020-06-27 07:38 519