diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2018-01-15 20:32:18 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-01-15 20:32:18 +0100 |
commit | d6caf326754572e53be6497293049442c5fedacf (patch) | |
tree | 33ac7f8265b10d5235ea31d15ac202d41e3a921c /doc/classes/EditorFileSystemDirectory.xml | |
parent | 700a1a90964210ea54bb7cb03dc8697b1efb531a (diff) | |
parent | b06c6602c8a1a96f72bcbebb2a86176d1e69c79d (diff) |
Merge pull request #15701 from groud/changes_default_keep_margin_to_true
Changes the keep_margin parameter to true by default
Diffstat (limited to 'doc/classes/EditorFileSystemDirectory.xml')
0 files changed, 0 insertions, 0 deletions