Remove unused files

mwouts · Nov 9, 2023 · af66065 · af66065
1 parent 51a2625
commit af66065
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 58 deletions.
diff --git a/.lgtm.yml b/.lgtm.yml
diff --git a/Makefile b/Makefile
diff --git a/make.bat b/make.bat