# HG changeset patch
# User fahad
# Date 1424954639 0
# Node ID 11edadd16ebe458fd3a7010e9374bbc00fbec930
# Parent  f182c125980e9e8345757f30d3507b107db7cf42
deleted file

diff -r f182c125980e -r 11edadd16ebe thys/Test.txt~
--- a/thys/Test.txt~	Thu Feb 26 12:42:22 2015 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-test