diff options
| author |  Adam Chlipala <adamc@csail.mit.edu> | 2018-10-23 15:51:29 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@csail.mit.edu> | 2018-10-23 15:51:29 -0400 |
| commit | db6451caad44785887bb9c9a1781bd861a3a46ce (patch) | |
| tree | a388e7d8c93d7cb3bfb3674824cae50572515afd /lib/ur/list.ur | |
| parent | 39497fe7d80a6765b131b0a62ab48db8bd47a8e9 (diff) | |
Fix a manual typo
Diffstat (limited to 'lib/ur/list.ur')
0 files changed, 0 insertions, 0 deletions