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