summaryrefslogtreecommitdiff
path: root/lib/ur/list.urs
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@csail.mit.edu>2016-02-17 12:12:12 -0500
committerGravatar Adam Chlipala <adamc@csail.mit.edu>2016-02-17 12:12:12 -0500
commit5705d3b510277f033b8a0317b3fe520b0e5cc60a (patch)
tree02da695dbf9f8eca916a6682c87ddb61a62ae828 /lib/ur/list.urs
parent0ef3c4d155a9ce8cceb225607e97c927fdfe6b1a (diff)
Allow backslash-r in string literals
Diffstat (limited to 'lib/ur/list.urs')
0 files changed, 0 insertions, 0 deletions