--- 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