Beat Küng b190d98d6d Jenkinsfile: remove dev-guide metadata deployment ...

dev guide got merged with the user guide.

2021-01-20 10:03:00 -05:00

..

ISSUE_TEMPLATE

Fix up doc links to point to master branch

2020-04-21 08:58:40 +02:00

workflows

Jenkinsfile: remove dev-guide metadata deployment

2021-01-20 10:03:00 -05:00

stale.yml

github: tone stalebot down

2019-10-01 10:35:28 -04:00