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 /debian/urweb.links | |
parent | 04793b5abfb641763864d637a9da95341b874b01 (diff) |
Grandfathered change for release: fix extended 'val' rule in grammar
Diffstat (limited to 'debian/urweb.links')
0 files changed, 0 insertions, 0 deletions