Closed andreasabel closed 4 years ago
Is agda.xml in the KDE repository? If so, it shoud be updated there too.
To clarify: when we update, we merge the latest changes from the KDE repo, so it's difficult to have local changes.
Thanks, also for the heads up. I added PR to https://github.com/KDE/syntax-highlighting/pull/23 with the identical agda.xml file.