Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2007-01-15 17:30:35 -0800 (Mon, 15 Jan 2007)
Revision: 9956
Log message:
Made the usage string for the -R option a bit more verbose, based on Bardur
Arantsson's suggestion.
Also updated the documentation for the -R option.
Changes | Path |
+10 -4 | omake-branches/0.9.8.x/doc/src/omake-options.tex |
+1 -1 | omake-branches/0.9.8.x/src/ir/omake_options.ml |