diff options
| author | Ulf Magnusson <ulfalizer@gmail.com> | 2018-10-22 22:40:59 +0200 |
|---|---|---|
| committer | Ulf Magnusson <ulfalizer@gmail.com> | 2018-10-22 22:42:36 +0200 |
| commit | d920dbeee3506c0fc46e1c5381b506da52fdd37b (patch) | |
| tree | 2d76264fce8e469b1488a2dddd09f2e8709a7cbc /makefile.patch | |
| parent | 85ba6b2d8558ca812ef53b97fa18df9f98c1e6dc (diff) | |
Use standard_sc_expr_str() in _name_and_loc()
Makes choices show up as <choice (name, if any)>, which is nice.
Previously, just the name was shown for named choices.
Diffstat (limited to 'makefile.patch')
0 files changed, 0 insertions, 0 deletions