diff options
| author | Daniel Schadt <kingdread@gmx.de> | 2021-08-26 13:51:08 +0200 |
|---|---|---|
| committer | Daniel Schadt <kingdread@gmx.de> | 2021-08-26 13:51:08 +0200 |
| commit | ebb71af52239516a72adcfc74d48a8874ed1b13d (patch) | |
| tree | 405db62d17ea6ca7946daa40a53b578f84cbe810 /doc/make.bat | |
| parent | bea644f3444b854fec13e2ed4aae743f7d06b56d (diff) | |
| download | wikimini-ebb71af52239516a72adcfc74d48a8874ed1b13d.tar.gz wikimini-ebb71af52239516a72adcfc74d48a8874ed1b13d.tar.bz2 wikimini-ebb71af52239516a72adcfc74d48a8874ed1b13d.zip | |
lint fixes
Diffstat (limited to 'doc/make.bat')
0 files changed, 0 insertions, 0 deletions