Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

Cosmetic change in opam remote

  • Loading branch information...
commit ed3b51f462b20da49a1af71e786a2e591554f660 1 parent 05001d9
Vincent Bernardoff authored
Showing with 1 addition and 1 deletion.
  1. +1 −1  src/opam.ml
2  src/opam.ml
View
@@ -345,7 +345,7 @@ let remote =
synopsis = "Manage remote servers";
help = "";
specs = [
- ("-v" , Arg.Unit (fun () -> verbose := true), " Be verbose");
+ ("-v" , Arg.Set verbose, " Be verbose");
("-list" , Arg.Unit (set `list), " List the repositories");
("-add" , Arg.Unit (set `add) , " Add a new repository");
("-rm" , Arg.Unit (set `rm) , " Remove a remote repository");
Please sign in to comment.
Something went wrong with that request. Please try again.