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 /tests/label.urs | |
parent | 39497fe7d80a6765b131b0a62ab48db8bd47a8e9 (diff) |
Fix a manual typo
Diffstat (limited to 'tests/label.urs')
0 files changed, 0 insertions, 0 deletions