diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-10-09 12:21:57 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-09 12:21:57 +0200 |
| commit | 3151b08c48079aa3a78007a2807b3b0ab66e4b3b (patch) | |
| tree | 4756c9389a1ace65fd8118748fa25848ad190b3b /doc | |
| parent | e8b9cca6147e2ea1aa0f9091460755c1e5ede3d7 (diff) | |
| parent | a25d70ab3196b0571808e56e44588d95c58fa7dc (diff) | |
Merge pull request #11821 from groud/margins_preset_menu
Replaces (and extends) the anchor menu to a Layout one
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions