diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/web_projects.dat | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/web_projects.dat b/tools/web_projects.dat index 6faa593a9..c7103a212 100644 --- a/tools/web_projects.dat +++ b/tools/web_projects.dat @@ -16,6 +16,7 @@ resources[5]="en/5/download_index.php en/5/nav.php en/5/index.php" resources[6]="en/6/download_index.php en/6/nav.php en/6/index.php" resources[7]="en/7/download_index.php en/7/nav.php en/7/index.php" resources[8]="en/8/download_index.php en/8/nav.php en/8/index.php" +resources[9]="en/9/download_index.php en/9/nav.php en/9/index.php" resources[cauldron]="en/downloads/prerelease/download_index.php en/downloads/prerelease/nav.php en/downloads/alternative/index.php" |