manuals/admin
2022-03-27 19:24:42 +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 generation document: add budget 2022-03-25 14:07:39 +01:00
known-limits.md reformulation known limits 2021-09-23 09:46:36 +00:00
metadata.yaml add admin manual in same repo 2021-08-25 18:26:20 +02:00