diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-06-30 13:19:00 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2019-06-30 13:58:07 +0200 |
| commit | 0db138a621c8ce67864379c2bf69fda54c380178 (patch) | |
| tree | 1784ee303025841edb69093ce9dbddba85933b09 /editor/plugin_config_dialog.h | |
| parent | 1fbca7ed8889f8e71bef1e313f247256c1844823 (diff) | |
doc: Enforce default values for OS properties
Otherwise we end up fetching values from the current OS instance
when running doctool, so they would change based on the system or
even simply due to changes to the system clipboard.
Diffstat (limited to 'editor/plugin_config_dialog.h')
0 files changed, 0 insertions, 0 deletions