D27797: Agda: keywords updated to 2.6.0 and fix float points

Christoph Cullmann noreply at phabricator.kde.org
Sat Mar 7 16:11:32 GMT 2020


cullmann accepted this revision.
cullmann added a comment.
This revision is now accepted and ready to land.


  Thanks for taking care of this!
  Let's get that in.

REPOSITORY
  R216 Syntax Highlighting

BRANCH
  update-agda

REVISION DETAIL
  https://phabricator.kde.org/D27797

To: nibags, #framework_syntax_highlighting, dhaumann, cullmann
Cc: kwrite-devel, kde-frameworks-devel, rrosch, LeGast00n, cblack, GB_2, domson, michaelh, ngraham, bruns, demsking, cullmann, sars, dhaumann
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.kde.org/pipermail/kwrite-devel/attachments/20200307/baf97cbc/attachment.html>


More information about the KWrite-Devel mailing list