fixed broken file permissions

Warzone2100 · Apr 3, 2017 · 9d4e73e · 9d4e73e
1 parent fb9bea5
commit 9d4e73e
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/doc/ScriptingManual.htm b/doc/ScriptingManual.htm