diff options
| author | Hugo Herbelin | 2019-12-30 17:18:33 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2020-04-11 09:25:55 +0200 |
| commit | 9aefd708109658a8a17412e1fd7cc95bff454050 (patch) | |
| tree | 06894101ea10b317d635b26dce0b5deca12d0561 /dev | |
| parent | 97aac6a7cf1bab3226f979b55e37d61f22c2f358 (diff) | |
If a custom entry has global, an argument-free abbreviation is valid in this entry.
Parsing was automatically supporting this. This commit adds support for printing.
Note: It would be more delicate to recognize that some given entry
support applicative nodes hence abbreviations with arguments.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions