Closed matthias-Q closed 10 months ago
Fixes CI build fail due to duplicated keyword in highlights.scm and gammar.js
Introduced in #207
I do not quite understand why CI checks where green on the PR and are failing after landing the PR.
Fixes CI build fail due to duplicated keyword in highlights.scm and gammar.js
Introduced in #207
I do not quite understand why CI checks where green on the PR and are failing after landing the PR.