This repository has been archived by the owner on Dec 13, 2022. It is now read-only.

enh(ui) better menu delimitation#7257

Merged

EdytaSki merged 2 commits into18.10.xfrom MON-3535-menu-delimitation-corrige-18-10

Mar 12, 2019

+482-479

Commits on Mar 6, 2019