diff options
| author | Cyrille Bagard <nocbos@gmail.com> | 2019-08-13 22:04:53 (GMT) |
|---|---|---|
| committer | Cyrille Bagard <nocbos@gmail.com> | 2019-08-13 22:04:53 (GMT) |
| commit | 7cb4e815b691d05d8c0aea9decf56b9dbc41dfa6 (patch) | |
| tree | ade598a747daa2e061f4903a81ac74e52e0c38b1 /src/gui/dialogs/prefs_labels.ui | |
| parent | dd2853ea8cf97b773ba362da50d06d4abc608a09 (diff) | |
Used a Python enumeration for the binary symbol status.
Diffstat (limited to 'src/gui/dialogs/prefs_labels.ui')
0 files changed, 0 insertions, 0 deletions