# HG changeset patch
# User wolffd <wolffd.mail@googlemail.com>
# Date 1528296825 -3600
# Node ID 8e3112c2517e981b0969b6ffab86aece3a982878
# Parent  4398802c2885c16fcdce13ce5f8f092db04d62af
added isearch repo

diff -r 4398802c2885 -r 8e3112c2517e etc/setup_as_dml.sh
--- a/etc/setup_as_dml.sh	Wed Jun 06 15:14:27 2018 +0100
+++ b/etc/setup_as_dml.sh	Wed Jun 06 15:53:45 2018 +0100
@@ -89,6 +89,8 @@
 if [ $MAKE_HUMDRUM == yes ]; then
 	cd ~/src/github/humdrum-tools && make
 fi
+# Added isearch - is this the correct source ? 
+get_repo_into ~/src/github git https://github.com/samer--/isearch
 
 # 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 dml-cliopatria # public corresponding