Gabor Kiss-Vamosi 4a00031713 fix push the compiled docs to the docs repo instead of docs_compiled ...

"docs" was renamed to "docs_old" and "docs_compiled" to "docs"

2021-05-25 11:21:04 +02:00

..

ISSUE_TEMPLATE

…

workflows

fix push the compiled docs to the docs repo instead of docs_compiled

2021-05-25 11:21:04 +02:00

auto-comment.yml

…

FUNDING.yml

…

pull_request_template.md

…