Merge pull request #1073 from gitblit/1062-DocEditorUpdates

Paul Martin

2016-04-30 a502d96a860456ec5e8c96761db70f7cabb74751

 src/main/java/pt.cmd

@@ -1 +1 @@
@python %~dp0pt.py %1 %2 %3 %4 %5 %6 %7 %8 %9
@python %~dp0pt.py %*