Merge pull request #58 from model-checking/dependabot/npm_and_yarn/glob-13.0.1

build(deps-dev): bump glob from 13.0.0 to 13.0.1

Author: tautschnig

package-lock.json

@@ -137,7 +137,7 @@
     "@vscode/test-electron": "^2.5.2",
     "console": "^0.7.2",
     "eslint": "^9.39.2",
-    "glob": "^13.0.0",
+    "glob": "^13.0.1",
     "mocha": "^11.7.5",
     "typescript": "^5.9.3",
     "typescript-formatter": "^7.2.2",