TheFrenchGhosty a155b70280 Setup CI to build the documentation to a Docker image (#208) ... * Add Docker deployment * Remove the manually built version * Fix the dockerfile		2022-03-12 23:09:51 +01:00
..
ISSUE_TEMPLATE	Typo	2022-02-08 15:52:02 +00:00
workflows	Setup CI to build the documentation to a Docker image (#208)	2022-03-12 23:09:51 +01:00