# HG changeset patch
# User wolffd <wolffd.mail@googlemail.com>
# Date 1528294467 -3600
# Node ID 4398802c2885c16fcdce13ce5f8f092db04d62af
# Parent  29d9f5a9a1ffed451622c56c3b13c5a61f614d1a
fix for repo name

diff -r 29d9f5a9a1ff -r 4398802c2885 etc/setup_as_dml.sh
--- a/etc/setup_as_dml.sh	Tue Jun 05 18:05:48 2018 +0100
+++ b/etc/setup_as_dml.sh	Wed Jun 06 15:14:27 2018 +0100
@@ -91,7 +91,7 @@
 fi
 
 # get_repo_into ~/src/hg hg https://code.soundsoftware.ac.uk/hg/dml-cliopatria # private repo 
-get_repo_into ~/src/hg hg https://code.soundsoftware.ac.uk/hg/dml-open-cliopatria # public corresponding
+get_repo_into ~/src/hg hg https://code.soundsoftware.ac.uk/hg/dml-open-cliopatria dml-cliopatria # public corresponding
 get_repo_into ~/src/hg hg https://code.soundsoftware.ac.uk/hg/ishara # public repo
 get_repo_into ~/src/hg hg https://code.soundsoftware.ac.uk/hg/kernscores-utf8 # public repo
 # get_repo_into ~/src/hg hg https://code.soundsoftware.ac.uk/hg/dml-datasets # private data