Merge pull request #47 from JuliaIntervals/mg/rm-deps

Delete `deps/` directory
JuliaIntervals · Aug 22, 2023 · 98af122 · 98af122
2 parents 6a091d8 + 692dee5
commit 98af122
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 2 deletions.
diff --git a/deps/src/crlibm-1.0beta4.tar.gz b/deps/src/crlibm-1.0beta4.tar.gz
diff --git a/deps/src/shared.mk b/deps/src/shared.mk