Renamed two bat files - makes trouble if they are send by email - will be...

Renamed two bat files - makes trouble if they are send by email - will be blocked, even if they are inside of a zip.

Renamed two bat files - makes trouble if they are send by email - will be...
Renamed two bat files - makes trouble if they are send by email - will be blocked, even if they are inside of a zip.
fbae6f6b · Carsten Rose · da5693b5 · fbae6f6b · fbae6f6b
Commit fbae6f6b authored Apr 26, 2017 by Carsten Rose
--- a/extension/Documentation/_make/make-html.bat
+++ b/extension/Documentation/_make/make-html.bat
--- a/extension/Documentation/_make/make.bat
+++ b/extension/Documentation/_make/make.bat