diff options
| author | Gilles Roudiere <gilles.roudiere@gmail.com> | 2017-09-19 22:39:19 +0200 |
|---|---|---|
| committer | Gilles Roudiere <gilles.roudiere@gmail.com> | 2017-09-22 09:23:07 +0200 |
| commit | 92f062696adc5efee2355259f42f5462ec42a605 (patch) | |
| tree | 371d7a264f07ae64cf110a7d70f2ca3edfd72e01 /editor/editor_plugin_settings.h | |
| parent | b8d7dd22e85941b09c7c76ea565f89d1994e6d3d (diff) | |
Implements set_margins_preset(...)
Diffstat (limited to 'editor/editor_plugin_settings.h')
0 files changed, 0 insertions, 0 deletions