Remove obsolete build infrastructure

These files are not used by any current build workflows.
VionFrancois · Mar 23, 2022 · 984ee78 · 984ee78
1 parent f4bd514
commit 984ee78
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 58 deletions.
diff --git a/Fakefile b/Fakefile
diff --git a/Makefile b/Makefile
diff --git a/compile.sh b/compile.sh