From 25792a154d53d515917c41256610a03a0a9de5f9 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 18 May 2010 14:47:56 -0400 Subject: URL-escape with '.' instead of '%', to avoid confusing proxies --- tests/name.ur | 1 + 1 file changed, 1 insertion(+) create mode 100644 tests/name.ur (limited to 'tests/name.ur') 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 {[name]} -- cgit v1.2.3