clean
1 2 3 4 5
diff --git a/test/ikc3/.ic3_history b/test/ikc3/.ic3_history deleted file mode 100644 index e69de29..0000000 --- a/test/ikc3/.ic3_history +++ /dev/null
