Rename deploy-docs to deploy-docs.yml

This commit is contained in:
U. N. Owen 2022-10-09 22:23:48 +02:00 committed by GitHub
parent 082c3dfc2b
commit 5fc8fd623b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23