fix version number

Seasawher · Sep 8, 2024 · a6f34a4 · a6f34a4
1 parent ae23b2b
commit a6f34a4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Mdgen/Cli.lean b/Mdgen/Cli.lean
@@ -23,7 +23,7 @@ def runMdgenCmd (p : Parsed) : IO UInt32 := do
   return 0
 
 def mkMdgenCmd : Cmd := `[Cli|
-  mdgen VIA runMdgenCmd; ["1.4.0"]
+  mdgen VIA runMdgenCmd; ["1.4.1"]
   "mdgen is a tool to generate .md files from .lean files."
 
   ARGS: