Remove old build scripts (#4176)

oscar-system · Oct 7, 2024 · f90393c · f90393c
1 parent ca727c8
commit f90393c
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 106 deletions.
diff --git a/system/build_antic.jl b/system/build_antic.jl
diff --git a/system/build_flint.jl b/system/build_flint.jl