diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2016-11-11 10:52:00 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-11-11 10:52:00 +0100 |
| commit | 02fba9e3963030d4cc4b60aa6b69071825cdc1e0 (patch) | |
| tree | cf43c0cc16b8554d9850aa801116b4351c6e255d /tools/editor/editor_fonts.h | |
| parent | f0f04d5082c5640ec28399bdb5456433b3350438 (diff) | |
| parent | 938f9388ddc5b3def60e4aefbeb1beed09599493 (diff) | |
Merge pull request #7078 from pkowal1982/export_button
Export immediately if only one device present
Diffstat (limited to 'tools/editor/editor_fonts.h')
0 files changed, 0 insertions, 0 deletions