delete pointless batch file.

s-baumann · Jun 2, 2019 · 0b90b38 · 0b90b38
1 parent 01e7c9b
commit 0b90b38
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/documentation.bat b/documentation.bat