Florian 818a091e14 Add capability to build docs to a dev folder (#1351) ...

To enable the web upload from dev versions

2022-12-08 12:59:13 -06:00

..

ISSUE_TEMPLATE

replace travis with GitHub Actions close #626 (#629)

2020-06-12 18:44:34 -05:00

workflows

Add capability to build docs to a dev folder (#1351)

2022-12-08 12:59:13 -06:00

pull_request_template.md

Move PR template folder

2021-06-28 16:31:29 -05:00

stale.yml

change stale location

2019-08-06 21:05:09 +02:00