update handling of %-escapes in urls
authoradam <adam@megacz.com>
Wed, 28 Jan 2009 22:03:02 +0000 (14:03 -0800)
committeradam <adam@megacz.com>
Wed, 28 Jan 2009 22:03:02 +0000 (14:03 -0800)
commit0e25c5f2daeb3bca86501cb92cc785a5e698906e
tree79090b29895d745eb0d64c9a3b219d8548bbdc48
parentbed61afd3cf648b5cccc121c88af033c108f0106
update handling of %-escapes in urls

darcs-hash:20090128220302-5007d-64ebdc2cfa8211109077588c45af2c9269435e9c.gz
src/Doc.lhs
src/url.g