Peter Boy 6d409cf49d Updated and unified both quick docs article.		2023-07-29 11:05:48 +02:00
..
archive	A (too) extensive update, so that the page would be publishable in principle now	2022-09-27 17:13:41 +02:00
contributing-docs	Updated and unified both quick docs article.	2023-07-29 11:05:48 +02:00
contributing-infra	typo fix	2023-04-21 08:30:43 +00:00
organizational	Fix typo on revised abstract	2023-04-24 09:46:45 +00:00
docs-team.adoc	A modified structure for team page	2022-09-06 10:18:03 +00:00
index.adoc	More minor edits to clarify language.	2023-06-27 16:55:10 +00:00
locations.adoc	A modified structure for team page	2022-09-06 10:18:03 +00:00