Index of /tools/
| Name | Last Modified | Size |
|---|---|---|
 Parent Directory | ||
![[TXT]](/_autoindex/assets/icons/file-text.svg){kind=icon} bootstrap.inc.php | 2023-06-30 00:51 | 1k |
| cleanReviewerInterests.php | 2023-06-30 00:51 | 4k |
| deleteSubmissions.php | 2023-06-30 00:51 | 2k |
 error_log | 2025-06-11 04:14 | 2k |
| importExport.php | 2023-06-30 00:51 | 2k |
| install.php | 2023-06-30 00:51 | 2k |
| rebuildSearchIndex.php | 2023-06-30 00:51 | 3k |
| runScheduledTasks.php | 2023-06-30 00:51 | 1k |
| startSubmodulesTRAVIS.sh | 2023-06-30 00:51 | 5k |