Igor Kushnir authored Apr 18, 2016 and Kevin Funk committed Apr 18, 2016

"Jump to Previous Outputmark" action is now present in Navigation menu.

Note: file ~/.local/share/kxmlgui5/kdevelop/kdevelopui.rc must be removed
or edited manually for this change to become visible.

REVIEW: 127665