remove redundant files

souffle-lang · Jul 15, 2020 · 92eebdf · 92eebdf
1 parent 90d61e9
commit 92eebdf
Show file tree

Hide file tree

Showing 5 changed files with 0 additions and 5 deletions.
diff --git a/compile b/compile
diff --git a/depcomp b/depcomp
diff --git a/install-sh b/install-sh
diff --git a/ltmain.sh b/ltmain.sh
diff --git a/missing b/missing