diff options
| author | Ulf Magnusson <ulfalizer@gmail.com> | 2019-06-24 09:04:02 +0200 |
|---|---|---|
| committer | Ulf Magnusson <ulfalizer@gmail.com> | 2019-06-24 09:04:02 +0200 |
| commit | ee4cb6af460bcb9614cef1489721d26be2527772 (patch) | |
| tree | 29896697c035aa03eae84730f1333a443e75f716 /guiconfig.py | |
| parent | 0ca8e78ebaed9ded586162753e8224f8ce7ef4a2 (diff) | |
Make 12.8.0 releasev12.8.0
Adds commit 0ca8e78 ("Add {Symbol,Choice}.orig_*, corresponding to the
MenuNode fields").
Diffstat (limited to 'guiconfig.py')
0 files changed, 0 insertions, 0 deletions