Maximilian Dorninger fd2befd2a1 Migrate to gitbook (#357) ...

This PR facilities the migration from the old Writerside documentation
platform to Gitbook.

## motivation

Gitbook supports serving multiple versions of the documentation, e.g.
v1.12.1, v1.13.0, and master.

2026-01-05 21:39:18 +01:00

4.9 KiB

Raw Permalink Blame History

View Raw