summaryrefslogtreecommitdiff
path: root/tests/name.ur
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2010-05-18 14:47:56 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2010-05-18 14:47:56 -0400
commitf2007435ca9e15257cb80085edcbf7f897993f64 (patch)
tree3e8963a10acbb1574ae8f981a1fe663684ab82f2 /tests/name.ur
parent46d21ab45cdc23c45296e1e336b7dbbf00849c56 (diff)
URL-escape with '.' instead of '%', to avoid confusing proxies
Diffstat (limited to 'tests/name.ur')
-rw-r--r--tests/name.ur1
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/name.ur b/tests/name.ur
new file mode 100644
index 00000000..49e02c2d
--- /dev/null
+++ b/tests/name.ur
@@ -0,0 +1 @@
+fun hello name = return <xml>{[name]}</xml>