diff -r 2cdbab037861 -r 26b71a36f55f thys/Test.txt
--- a/thys/Test.txt	Sat Jan 31 18:21:03 2015 +0000
+++ b/thys/Test.txt	Mon Feb 09 00:46:25 2015 +0000
@@ -1,1 +1,3 @@
 test
+test file
+