Undo inadvertent previous commit -- should have been on "mike"
[mkws-moved-to-github.git] / tools / service-proxy /
drwxr-xr-x   ..
-rw-r--r-- 1900 service-proxy.properties