]> git.pond.sub.org Git - empserver/commit
projects / empserver / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cc61904) | patch
doc/xdump: Fix definition of identifier in grammar
authorMarkus Armbruster <armbru@pond.sub.org>
Mon, 13 Jun 2016 19:58:49 +0000 (21:58 +0200)
committerMarkus Armbruster <armbru@pond.sub.org>
Sun, 6 Aug 2017 17:59:59 +0000 (19:59 +0200)
commit63160725083a299ab04784d13e631522c9e247cb
tree6bef7e95ea5c5ad94f716c76ae5e20fda77cb022tree | snapshot
parentcc619043549e1b3d03582232fb6ae4fab8a1da0fcommit | diff
doc/xdump: Fix definition of identifier in grammar

getid() requires identifiers to start with a letter.  Fix the
documentation to match the code.

Signed-off-by: Markus Armbruster <armbru@pond.sub.org>
doc/xdump diff | blob | history
Markus's Wolfpack Empire tree