diff options
author | Daniel Schadt <kingdread@gmx.de> | 2021-08-20 12:35:03 +0200 |
---|---|---|
committer | Daniel Schadt <kingdread@gmx.de> | 2021-08-20 12:35:03 +0200 |
commit | d6e7479fb0b845415c9d1bdcc42936a4f36dde39 (patch) | |
tree | d90f8ae6595d1635f85212467ad46b04605ba2a5 /doc/make.bat | |
parent | a05368c8c8f9b97d727dc8d2efcf847743b29f66 (diff) | |
download | wikimini-d6e7479fb0b845415c9d1bdcc42936a4f36dde39.tar.gz wikimini-d6e7479fb0b845415c9d1bdcc42936a4f36dde39.tar.bz2 wikimini-d6e7479fb0b845415c9d1bdcc42936a4f36dde39.zip |
properly strip File: links that got through
Diffstat (limited to 'doc/make.bat')
0 files changed, 0 insertions, 0 deletions