Thierry Carrez 07d769fac8 Fix up page titles in "other resources" ...

Some page titles were a bit off or too long in the "other resources"
section.

Change-Id: I3a285b40229bee6444a1ff4f7d5ec4812cb53948

2022-07-18 16:39:39 +02:00

..

source

Fix up page titles in "other resources"

2022-07-18 16:39:39 +02:00

requirements.txt

Initial commit adding docs build and publishing

2022-06-04 12:26:24 +02:00