Merge pull request #2 from eschnett/eschnett/remove-sleef

Remove copy of sleef
eschnett · Apr 10, 2017 · 4d220db · 4d220db
2 parents 109c9da + 30c48fc
commit 4d220db
Show file tree

Hide file tree

Showing 29 changed files with 0 additions and 24,342 deletions.
diff --git a/sleef-2.80/README b/sleef-2.80/README
diff --git a/sleef-2.80/java/IUT.java b/sleef-2.80/java/IUT.java