diff -r 4c6af8ca13ea -r b31b224fa0e6 thys/Test.txt
--- a/thys/Test.txt	Wed Feb 11 12:29:59 2015 +0000
+++ b/thys/Test.txt	Thu Feb 12 14:00:45 2015 +0000
@@ -1,1 +1,1 @@
-test
+test2