diff options
| -rw-r--r-- | results/INFO | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/results/INFO b/results/INFO deleted file mode 100644 index b97ca7e8..00000000 --- a/results/INFO +++ /dev/null @@ -1,2 +0,0 @@ -Results for QTIP will be stored in this directory -QTIP result directory will be made configurable soon |