Merge pull request #7415 from nurbek91/CodeMirror_cat

Update CodeMirror / editors #7388
2 years ago · e1efe8418f
parent 8dcd32ff5d 861243e5df
commit e1efe8418f
1 changed files with 1 additions and 1 deletions
--- a/src/technologies/c.json
+++ b/src/technologies/c.json
@ -2346,7 +2346,7 @@
  },
  "CodeMirror": {
    "cats": [
-      19
+      20
    ],
    "description": "CodeMirror is a JavaScript component that provides a code editor in the browser.",
    "icon": "CodeMirror.png",