# HG changeset patch
# User samer
# Date 1421677399 0
# Node ID 4bf4943f93a47c5818d2acc17b2ed1aab9b5452f
# Parent  43c065ae68529279d707124b64d38ba2bd2fbfee
Forgot to switch branches in ClioPatria repo - now added in ~/etc/setup_as_dml.sh

diff -r 43c065ae6852 -r 4bf4943f93a4 etc/setup_as_dml.sh
--- a/etc/setup_as_dml.sh	Sun Jan 18 23:24:43 2015 +0000
+++ b/etc/setup_as_dml.sh	Mon Jan 19 14:23:19 2015 +0000
@@ -65,6 +65,7 @@
 
 # DOWNLOADS FROM REPOs
 get_repo_into ~/src/github git https://github.com/samer--/ClioPatria
+cd ~/src/github/ClioPatria && git checkout dml
 get_repo_into ~/src/github git https://github.com/humdrum-tools/humdrum-tools --recursive
 if [ $MAKE_HUMDRUM == yes ]; then
 	cd ~/src/github/humdrum-tools && make