diff options
| author | Emilio Jesus Gallego Arias | 2020-04-22 13:17:37 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-04-22 13:17:37 +0200 |
| commit | 0c4775fcb48207c96752b81c76f67c17e5fd3c99 (patch) | |
| tree | d29cfaf78ff92638b655d7fb148eae47f14559ca /tools | |
| parent | 3b7f9271609bc4a008a1c754fb0cc00d932ec82f (diff) | |
| parent | 33aaa5d64771c3644de4771338c371ce6b865647 (diff) | |
Merge PR #11694: Support printing argument-free abbreviations in custom entries with a global rule
Reviewed-by: ejgallego
Ack-by: gares
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions