diff options
| author | Hugo Herbelin | 2020-04-08 17:23:44 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2020-04-11 10:41:09 +0200 |
| commit | 33aaa5d64771c3644de4771338c371ce6b865647 (patch) | |
| tree | 9784941fee1c59152986afc988118d82a921c8de /tools | |
| parent | 9aefd708109658a8a17412e1fd7cc95bff454050 (diff) | |
If a custom entry has global, a bound variable is valid in this entry.
This is due to "global" being a syntactic notation, thus including ident.
Parsing was automatically supporting this. This commit adds support for printing.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions