On windows, change json_gssapi.exe to take filepath as arg
[gssweb.git] / docs /
drwxr-xr-x   ..
-rwxr-xr-x 21201 js_api_design.html