John Livingston 0eb7e75421

New dev workflow: ...

Contribution now have to be made on the main branch.

A new `documentation` branch is created. Github and Gitlab pipelines are
now working on this branch.

Develop branch is deprecated, as it is no more necessary.

2023-03-07 14:14:19 +01:00

..

_index.de.md

New dev workflow:

2023-03-07 14:14:19 +01:00

_index.en.md

New dev workflow:

2023-03-07 14:14:19 +01:00

_index.fr.md

New dev workflow:

2023-03-07 14:14:19 +01:00

_index.ja.md

#117 part 1: New documentation website (#151)

2023-02-13 17:58:06 +01:00