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/IP.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/IP.xml')
0 files changed, 0 insertions, 0 deletions