pull manifold from the onelab mirror instead

diff --git a/onelab-tags.mk b/onelab-tags.mk
index c4ee195..b98c33e 100644 (file)
--- a/onelab-tags.mk
+++ b/onelab-tags.mk
@@ -61,6 +61,6 @@ sfa-GITPATH                     := git://git.onelab.eu/sfa.git@sfa-2.1-25
 sface-GITPATH                   := git://git.onelab.eu/sface.git@sface-0.9-9
 #
 myslice-GITPATH                        := git://git.onelab.eu/myslice-django.git@master
 sface-GITPATH                   := git://git.onelab.eu/sface.git@sface-0.9-9
 #
 myslice-GITPATH                        := git://git.onelab.eu/myslice-django.git@master

-manifold-GITPATH               := git://git.top-hat.info/tophat/repositories/tophat.git@packaging
+manifold-GITPATH               := git://git.onelab.eu/manifold.git@packaging

 # locating the right test directory - see make tests_gitpath
 tests-GITPATH                   := git://git.planet-lab.org/tests.git@master
 # locating the right test directory - see make tests_gitpath
 tests-GITPATH                   := git://git.planet-lab.org/tests.git@master