Publish JGit, EGit 1.3.0.201202151440-r
diff --git a/download/index.php b/download/index.php
index 0cad989..4498762 100644
--- a/download/index.php
+++ b/download/index.php
@@ -1,6 +1,6 @@
<?php require_once($_SERVER['DOCUMENT_ROOT'] . "/eclipse.org-common/system/app.class.php"); require_once($_SERVER['DOCUMENT_ROOT'] . "/eclipse.org-common/system/nav.class.php"); require_once($_SERVER['DOCUMENT_ROOT'] . "/eclipse.org-common/system/menu.class.php"); $App = new App(); $Nav = new Nav(); $Menu = new Menu(); include($App->getProjectCommon()); # All on the same line to unclutter the user's desktop'
$pageTitle = "JGit - Download";
- $version = "1.2.0.201112221803-r";
+ $version = "v1.3.0.201202151440-r";
$html = '<div id="midcolumn">';
$html .= file_get_contents('_index.html');