Remove stray files

python · Dec 11, 2023 · e4e86f0 · e4e86f0
1 parent 64bb1aa
commit e4e86f0
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 56 deletions.
diff --git a/docs/spec/.gitignore b/docs/spec/.gitignore
diff --git a/docs/spec/Makefile b/docs/spec/Makefile
diff --git a/docs/spec/make.bat b/docs/spec/make.bat