Skip to content

Commit

Permalink
Browse files Browse the repository at this point in the history
Change url for solver preferences to the opam one
  • Loading branch information
rdicosmo committed Apr 16, 2014
1 parent 6b03502 commit ea247f9
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/client/opamArg.ml
Expand Up @@ -482,7 +482,7 @@ let global_options =
This is equivalent to setting $(b,\\$OPAMCRITERIA), \
and takes precedence over it if both are specified. \
For details on the supported language, see \
$(i,http://www.mancoosi.org/misc-2012/criteria/). \
$(i, http://opam.ocaml.org/doc/Specifying_Solver_Preferences.html). \
The default value is "^OpamGlobals.default_preferences)
Arg.(some string) None in
let cudf_file =
Expand Down

0 comments on commit ea247f9

Please sign in to comment.