diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-07-29 10:11:56 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-07-29 10:11:56 +0200 |
| commit | d06da7193d9e02c43119e989ab88513b975e28e0 (patch) | |
| tree | 54256c1dc690dad82e6d66eb206b18a572e1e918 /misc/ide | |
| parent | 47df673d737f10dcc7dbcc32a574a3589bddc3f7 (diff) | |
| parent | ba63e0a5a27c2d861853294a87afd78fe1bef78c (diff) | |
Merge pull request #30869 from NilsIrl/#30841
Replace radion buttons with checkboxes in GDNativeLibrary editor
Diffstat (limited to 'misc/ide')
0 files changed, 0 insertions, 0 deletions