Merge branch 'main' of github.com:ncusi/PatchScope · ncusi/PatchScope@8e9f5db · GitHub

Commit

Merge branch 'main' of github.com:ncusi/PatchScope

Browse files

* 'main' of github.com:ncusi/PatchScope:
  build(deps): update mkdocs-include-markdown-plugin requirement

Was already updated on the other side...

Loading branch information

jnareb committed Dec 19, 2024

2 parents 218f9a9 + b9f6030 commit 8e9f5db