Rename deploy-mkdocs to deploy-mkdocs.yml

This commit is contained in:
Lost Paul 2023-09-09 16:30:43 +02:00 committed by GitHub
parent 3d570f73ce
commit 17182dc316
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23