proper sorting of files

goblint · Jan 19, 2024 · 605d03e · 605d03e
1 parent 5c7ba60
commit 605d03e
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/svcomp2var.json → conf/svcomp2var.json b/svcomp2var.json → conf/svcomp2var.json