commit 306f332173a2ddeedd0bcd8f7fe44344e4772e75
author apanchenk <apanchenk> Tue Dec 11 10:38:21 2012 +0000
committer apanchenk <apanchenk> Tue Dec 11 10:38:21 2012 +0000
tree 2fa9555517d3c2de715b01732bf334ffe3768fc0
parent 6ff7b9d1e8665fbf76815422771a34087214113f

fix github repo link

sources.php

diff --git a/sources.php b/sources.php
index 4dde5a9..e299992 100644
--- a/sources.php
+++ b/sources.php
@@ -31,8 +31,9 @@
 <?
 $GitHubRepos = array("core", "javascript", "tcl", "ruby", "python");
 foreach ($GitHubRepos as $repo) {
-	$link = "github.com/eclipse/dltk".$repo;
-	print "<li><a href=\"https://$link\">$link</a></li>"; 
+	$name = "dltk.".$repo;
+	$link = "https://github.com/eclipse/".$name;
+	print "<li><a href=\"$link\">$name</a></li>";
 }
 ?>
 </ul>