diff options
| author | hallgren <hallgren@chalmers.se> | 2012-03-16 13:55:19 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-03-16 13:55:19 +0000 |
| commit | 7c484aeada7fc56f9c192931d7d41bef78546211 (patch) | |
| tree | 13f84141e54d6d148ee471686a53e01f18ef7ddf /src/runtime/javascript/translator.html | |
| parent | 230f309317af6ae79f49091c9580223f756dbfb8 (diff) | |
PGFService.hs: command=browse can now produce output in JSON format.
To get JSON output, add the parameter format=json. The JSON structure contains
the output from the function PGF.browse.
The default is format=html for backwards compatibility.
Diffstat (limited to 'src/runtime/javascript/translator.html')
0 files changed, 0 insertions, 0 deletions