Split pages servlet into a raw branch servlet and a gh-pages servlet

James Moger

2014-04-23 ca31f51855b39a179bdad9bb912da6aeadad866d

 src/main/java/pt.cmd

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