diff options
| author |  Adam Chlipala <adamc@csail.mit.edu> | 2017-07-20 10:43:09 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@csail.mit.edu> | 2017-07-20 10:43:09 -0400 |
| commit | f814fd699dc707e810c996062370ee787863d926 (patch) | |
| tree | 1bc7db8467570b4e111970460ae7d6fa1408319d /doc | |
| parent | 04793b5abfb641763864d637a9da95341b874b01 (diff) | |
Grandfathered change for release: fix extended 'val' rule in grammar
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions