delete redundant files

JuliaAI · Oct 1, 2020 · accf32e · accf32e
1 parent c0ab77f
commit accf32e
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 24 deletions.
diff --git a/REGISTRY.md b/REGISTRY.md
diff --git a/REQUIRE b/REQUIRE