diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-11-21 14:29:35 -0500 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-11-21 14:29:35 -0500 |
commit | d967a12fd83892bb8bfb663dec6b989643ca21c2 (patch) | |
tree | e54fbd7d89a40f9432778eedd31f41ffded4ca52 /src/cjr_env.sml | |
parent | de782f9f8f032913d2213065bd54ba0eae48e488 (diff) |
Send RPCs with POST, to avoid caching
Diffstat (limited to 'src/cjr_env.sml')
0 files changed, 0 insertions, 0 deletions