diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-05-16 22:50:45 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-05-16 22:50:45 +0200 |
| commit | 82042bdd03a0bd3d11c2c3a814374a2f2f26148d (patch) | |
| tree | 81f065fe3d19647aeef89bd9d4f7cb1103571788 /editor/icons/icon_GUI_spinbox_updown.svg | |
| parent | 9c5dfdaf063e3b3f774e3dcfe66d28f324a340ad (diff) | |
| parent | 975c0516a4e0bf9d27888b859c1b5185a5788f32 (diff) | |
Merge pull request #18893 from eska014/html5-reldeb-Os
Build HTML5 release_debug with -Os
Diffstat (limited to 'editor/icons/icon_GUI_spinbox_updown.svg')
0 files changed, 0 insertions, 0 deletions