Merged #49 "Split pages servlet into a raw branch servlet and a gh-pages se...

James Moger

2014-05-05 4669a718dba6a8760f8a42d393acbe711735feae

1
2
3
4
5
@REM arch = x86, amd64, or ia32 
SET ARCH=amd64 
 
@REM Delete the gitblit service 
"%CD%\%ARCH%\gitblit.exe" //DS//gitblit