Index of /tools/
| Name | Last Modified | Size |
|---|---|---|
 Parent Directory | ||
![[TXT]](/_autoindex/assets/icons/file-text.svg){kind=icon} bootstrap.inc.php | 2023-11-20 02:32 | 1k |
| cleanReviewerInterests.php | 2023-11-20 02:32 | 4k |
| deleteIncompleteSubmissions.php | 2023-11-20 02:32 | 3k |
| deleteSubmissions.php | 2023-11-20 02:32 | 2k |
| importExport.php | 2023-11-20 02:32 | 2k |
| install.php | 2023-11-20 02:32 | 2k |
| jsonlint-exclusions.txt | 2023-11-20 02:32 | 1k |
| mergeUsers.php | 2023-11-20 02:32 | 1k |
| rebuildSearchIndex.php | 2023-11-20 02:32 | 3k |
| release.sh | 2023-11-20 02:32 | 5k |
| runScheduledTasks.php | 2023-11-20 02:32 | 1k |
| startSubmodulesTRAVIS.sh | 2023-11-20 02:32 | 5k |
| upgrade.php | 2023-11-20 02:32 | 1k |
| xmllint-exclusions.txt | 2023-11-20 02:32 | 1k |