Version v1.56.0

2025-12-11 22:14:05 +01:00 · 2021-07-20 19:45:41 +01:00
parent c67c1ab4ee
commit 37ff05a5fa
64 changed files with 11061 additions and 2081 deletions
--- a/bin/make_manual.py
+++ b/bin/make_manual.py
@@ -23,6 +23,7 @@ docs = [
    "rc.md",
    "overview.md",
    "flags.md",
+    "docker.md",

    # Keep these alphabetical by full name
    "fichier.md",