summaryrefslogtreecommitdiff
path: root/debian/urweb.links
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@csail.mit.edu>2017-07-20 10:43:09 -0400
committerGravatar Adam Chlipala <adamc@csail.mit.edu>2017-07-20 10:43:09 -0400
commitf814fd699dc707e810c996062370ee787863d926 (patch)
tree1bc7db8467570b4e111970460ae7d6fa1408319d /debian/urweb.links
parent04793b5abfb641763864d637a9da95341b874b01 (diff)
Grandfathered change for release: fix extended 'val' rule in grammar
Diffstat (limited to 'debian/urweb.links')
0 files changed, 0 insertions, 0 deletions