This commit is contained in:
Jeremie Dimino 2013-11-26 14:09:04 +00:00
parent 140eedf66a
commit cc49fa8dc9
1 changed files with 1 additions and 1 deletions

View File

@ -32,7 +32,7 @@ The boolean key
can be set to can be set to
.I false .I false
to disable the autoloading of files in to disable the autoloading of files in
.I $OCAML_TOPLEVEL_PATH/autload .I $OCAML_TOPLEVEL_PATH/autoload
at startup. at startup.
The key The key