dhaumann accepted this revision. dhaumann added a comment. This revision is now accepted and ready to land.
Looks good to me. Will integrate this soon. By the way, you may want to apply for a KDE contributor account to commit your changes yourself, especially since you are providing patches already since April or so, see: https://community.kde.org/Infrastructure/Get_a_Developer_Account REPOSITORY R216 Syntax Highlighting BRANCH metamath REVISION DETAIL https://phabricator.kde.org/D7280 To: aaronpuchert, #frameworks, dhaumann Cc: dhaumann
