remove ocaml stuff from EXT FILES

dynaroars · Mar 1, 2023 · 92fe29b · 92fe29b
1 parent 102282c
commit 92fe29b
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 0 deletions.
diff --git a/EXTERNAL_FILES/develop.zip b/EXTERNAL_FILES/develop.zip
diff --git a/EXTERNAL_FILES/goblint-cil-2.0.1.tbz b/EXTERNAL_FILES/goblint-cil-2.0.1.tbz