diff -r 5b01f7c233f8 -r a33d3040bf7e thys/new test
--- a/thys/new test	Tue Feb 02 02:27:16 2016 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-ssh://fahad@talisker.inf.kcl.ac.uk//Users/urbanc/HGREPOS/lexing