Index of /tools/
| Name | Last Modified | Size |
|---|---|---|
 Parent Directory | ||
![[TXT]](/_autoindex/assets/icons/file-text.svg){kind=icon} bootstrap.inc.php | 2021-08-31 19:02 | 1k |
| cleanReviewerInterests.php | 2021-08-31 19:02 | 4k |
| deleteSubmissions.php | 2021-08-31 19:02 | 2k |
| importExport.php | 2021-08-31 19:02 | 2k |
| install.php | 2021-08-31 19:02 | 2k |
| installPluginsImportExport.php | 2026-10-18 15:06 | 0k |
| jsonlint-exclusions.txt | 2021-08-31 19:02 | 1k |
| mergeUsers.php | 2021-08-31 19:02 | 1k |
| rebuildSearchIndex.php | 2021-08-31 19:02 | 3k |
| release.sh | 2021-08-31 19:02 | 5k |
| runScheduledTasks.php | 2021-08-31 19:02 | 1k |
| startSubmodulesTRAVIS.sh | 2021-08-31 19:02 | 3k |
| upgrade.php | 2021-08-31 19:02 | 1k |
| xmllint-exclusions.txt | 2021-08-31 19:02 | 1k |