Ulrich Mohr 003a6d00fa Documentation build tools in docker

2022-09-13 13:13:18 +02:00

..

Dockerfile

Documentation build tools in docker

2022-09-13 13:13:18 +02:00

Jenkinsfile

some more API improvements and replacements

2022-07-26 11:14:40 +02:00