Joakim Nohlgård 032c3b6883 Merge pull request #6914 from miri64/doc/fix/smartmenus
doc: utilize smartmenus
2017-04-25 11:05:45 +02:00
..