diff --git a/tmlcode/README b/tmlcode/README deleted file mode 100644 index 12c1dc4e33e8f3127bb54099902677e92e06f0bc..0000000000000000000000000000000000000000 --- a/tmlcode/README +++ /dev/null @@ -1 +0,0 @@ -Directory used for the generated TML code \ No newline at end of file