--- a/thys/Test.txt Tue Feb 02 02:27:16 2016 +0000 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,7 +0,0 @@ -<<<<<<< local -test2 -======= -test -test file - ->>>>>>> other