Julien Fastré 76da9dd357 fix some keys and add new keys for docgen		2022-05-30 21:08:57 +02:00
..
cover-admin.pdf	add admin and user cover pages	2022-03-24 08:51:21 +01:00
cover-admin.svg	add cover page (previous was not working ?)	2022-03-27 19:24:42 +02:00
generation-documents.md	fix some keys and add new keys for docgen	2022-05-30 21:08:57 +02:00
known-limits.md	reformulation known limits	2021-09-23 09:46:36 +00:00
metadata.yaml	update pandoc version to 2.18	2022-05-16 12:19:46 +02:00