diff options
| author |  Adam Chlipala <adamc@csail.mit.edu> | 2016-02-17 12:12:12 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@csail.mit.edu> | 2016-02-17 12:12:12 -0500 |
| commit | 5705d3b510277f033b8a0317b3fe520b0e5cc60a (patch) | |
| tree | 02da695dbf9f8eca916a6682c87ddb61a62ae828 /lib/ur/list.urs | |
| parent | 0ef3c4d155a9ce8cceb225607e97c927fdfe6b1a (diff) | |
Allow backslash-r in string literals
Diffstat (limited to 'lib/ur/list.urs')
0 files changed, 0 insertions, 0 deletions