diff -r 408b77913c35 -r 8a6b527bc9bb relpipe-data/download.xml --- a/relpipe-data/download.xml Tue Jan 08 22:53:42 2019 +0100 +++ b/relpipe-data/download.xml Wed Jan 09 23:15:08 2019 +0100 @@ -15,6 +15,7 @@ ssh hg@hg.globalcode.info ls -1d data/relpipe/* | xargs -n1 basename | sort | while read r; do echo "hg clone https://hg.globalcode.info/relpipe/$r;"; done -->