summaryrefslogtreecommitdiff
path: root/demo/hello.urs
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2015-02-12 15:09:26 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2015-02-12 15:09:26 -0500
commit1ea383a0e73f63d142d3539d984c9e2f4b7f0076 (patch)
tree596746366c6cc096adda95bb8ba55907ef3230f7 /demo/hello.urs
parentdb08876a6942aea26ef0d798a0951fc559e2c624 (diff)
The 2nd half of proper CSRF protection related to environment variables
Diffstat (limited to 'demo/hello.urs')
0 files changed, 0 insertions, 0 deletions