diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-07-27 08:46:44 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-07-27 08:46:44 +0200 |
| commit | fec5157df549f8146617d42cf50a053166df5bba (patch) | |
| tree | 5658b6d0f6af09179efd766b3e118285a9f8ea00 /core/make_binders.py | |
| parent | c8c9bcb451b32a9ba04abfd21cd6bf37dcdf4d72 (diff) | |
| parent | 5adb94e72694fd4c4b80be85b3adf9a4a7d6c45b (diff) | |
Merge pull request #9904 from Noshyaar/pr-off
PropertyEditor: display "Off" if property is false
Diffstat (limited to 'core/make_binders.py')
0 files changed, 0 insertions, 0 deletions