From 2a2b03ffc8b8be72c7723b0be250b419a270774a Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 30 Jul 2021 11:34:58 -0400 Subject: [PATCH] remove symlinks --- tests/QF_DT | 1 - tests/QF_UF | 1 - 2 files changed, 2 deletions(-) delete mode 120000 tests/QF_DT delete mode 120000 tests/QF_UF diff --git a/tests/QF_DT b/tests/QF_DT deleted file mode 120000 index 48cfd2c6..00000000 --- a/tests/QF_DT +++ /dev/null @@ -1 +0,0 @@ -/home/simon/w/smtlib/QF_DT/ \ No newline at end of file diff --git a/tests/QF_UF b/tests/QF_UF deleted file mode 120000 index 9b83feb7..00000000 --- a/tests/QF_UF +++ /dev/null @@ -1 +0,0 @@ -/home/simon/w/smtlib/QF_UF \ No newline at end of file