Browse Source

Merge branch 'dev' of gitlab.com:WzukW/oclaunch into dev

Leo 10 years ago
parent
commit
c9a90fcf99
1 changed files with 1 additions and 1 deletions
  1. 1 1
      src/oclaunch.ml

+ 1 - 1
src/oclaunch.ml

@@ -60,7 +60,7 @@ let commands =
     ~readme:(fun () -> "See https://gitlab.com/WzukW/oclaunch for help.")
     (* TODO if number is out of the mist, return error message *)
     Command.Spec.(empty
-    +> flag ~aliases:["-reset-tmp" ; "-r"] "--reset-tmp" no_arg
+    +> flag ~aliases:["-reset-tmp" ; "--reset-tmp"] "-r" no_arg
                     ~doc:" Reinitialises launches by deleting temporal file."
     +> anon (maybe ("Command number" %: int)))
     (fun reset_tmp num_cmd () ->