diff options
| author | chai <chaifix@163.com> | 2018-12-22 12:56:40 +0800 |
|---|---|---|
| committer | chai <chaifix@163.com> | 2018-12-22 12:56:40 +0800 |
| commit | ef7c4915c20d7f6ceb5484f99f96979fd5a9594d (patch) | |
| tree | ed5f5e8b91dca09c7728448ee0ad6f72f2039bb7 /src/libjin-lua/embed/clear.bat | |
| parent | 013438437f1f530609578454cf1123a84749f70d (diff) | |
*misc
Diffstat (limited to 'src/libjin-lua/embed/clear.bat')
| -rw-r--r-- | src/libjin-lua/embed/clear.bat | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/libjin-lua/embed/clear.bat b/src/libjin-lua/embed/clear.bat new file mode 100644 index 0000000..d0c57ed --- /dev/null +++ b/src/libjin-lua/embed/clear.bat @@ -0,0 +1,3 @@ +for %%f in (*.lua.h) do ( + del /f %%f +)
\ No newline at end of file |