diff options
author | Luke Karrys <luke@lukekarrys.com> | 2022-03-31 21:12:04 +0300 |
---|---|---|
committer | Gar <wraithgar@github.com> | 2022-04-06 19:26:45 +0300 |
commit | 7712b496ac689c8c46c47dbdc373b72efee5e2c9 (patch) | |
tree | 7ba28366f687858f92b4fe568283616bbed236e6 /make.bat | |
parent | 03f36bf8c30b713e86f8e0b7e6643b68d74f7d91 (diff) |
chore: rm unused files
Diffstat (limited to 'make.bat')
-rw-r--r-- | make.bat | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,3 +1,3 @@ -:: The tests run "make doc" in the prepublish script, +:: The tests run "make -s mandocs" in the postsnap script, :: so this file gives windows something that'll exit :: successfully, without having to install make. |