Remove obsolete .cfg file

sosy-lab · Nov 4, 2020 · 520e1c2 · 520e1c2
1 parent 37516bc
commit 520e1c2
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/c/ReachSafety-Combinations.cfg b/c/ReachSafety-Combinations.cfg