Added schema for RSS plugin (#3571)

This commit is contained in:
Julien 2022-02-10 21:02:14 +01:00 committed by GitHub
parent 4da48e03b4
commit 40b667650d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -17,6 +17,9 @@
{ {
"$ref": "plugins/redirects.json" "$ref": "plugins/redirects.json"
}, },
{
"$ref": "https://guts.github.io/mkdocs-rss-plugin/schema.json"
},
{ {
"$ref": "plugins/search.json" "$ref": "plugins/search.json"
}, },