Remove auto-generated files

viperproject · Dec 27, 2023 · b92fd37 · b92fd37
1 parent f7ab65c
commit b92fd37
Show file tree

Hide file tree

Showing 4 changed files with 0 additions and 80 deletions.
diff --git a/src/test/resources/regressions/features/opaque/opaque-fac1.gobra~ b/src/test/resources/regressions/features/opaque/opaque-fac1.gobra~
diff --git a/src/test/resources/regressions/features/opaque/opaque-fac2.gobra~ b/src/test/resources/regressions/features/opaque/opaque-fac2.gobra~
diff --git a/src/test/resources/regressions/features/opaque/opaque-fac3.gobra~ b/src/test/resources/regressions/features/opaque/opaque-fac3.gobra~
diff --git a/src/test/resources/regressions/features/opaque/opaque-simple1.gobra~ b/src/test/resources/regressions/features/opaque/opaque-simple1.gobra~