Merge pull request #1022 from gitblit/974-in-browser-doc-editor

Paul Martin

2016-03-28 33f3580f8f4499ac9cd4812872c94fcdd81a5829

 src/main/java/pt.cmd

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