Dario Nieuwenhuis e2cad81497 Build docs with more threads.

2023-06-28 18:05:13 +02:00

..

build.sh

Switch to bender CI

2023-06-28 17:44:05 +02:00

doc.sh

Build docs with more threads.

2023-06-28 18:05:13 +02:00