diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-07-30 22:08:26 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2017-07-30 22:08:26 +0200 |
| commit | 55494073081bd111dc6af8502f77cf344c64b56c (patch) | |
| tree | cc76cc2a882f21708bfdba3b6dcef09f468e3eb5 /thirdparty/glad | |
| parent | 389bed6fa95a412e86338c4650f17f9b7828b01e (diff) | |
Revert "PropertyEditor: display "Off" if property is false"
This reverts commit 5adb94e72694fd4c4b80be85b3adf9a4a7d6c45b.
It was actually not a bug, see discussion on #9898.
Diffstat (limited to 'thirdparty/glad')
0 files changed, 0 insertions, 0 deletions