diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-05-04 08:36:14 +0200 |
|---|---|---|
| committer | Rémi Verschelde <remi@verschelde.fr> | 2016-05-04 08:36:14 +0200 |
| commit | a79e3906135c2258b5bf9814e4971c4fc2f231e6 (patch) | |
| tree | 58c6097448dd5aabfaa72fe5a943c51ae051f413 /modules/regex/config.py | |
| parent | db0fde9d39687937567c208e989cf25b15e09af4 (diff) | |
| parent | 723c0d730c0bb3df888934dd94ed1e45f24b7acd (diff) | |
Merge pull request #4543 from djrm/better_hint_all
Changed barely visible PROPERTY_HINT_ALL_FLAGS buttons for checkboxes
Diffstat (limited to 'modules/regex/config.py')
0 files changed, 0 insertions, 0 deletions