Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2006-12-06 15:33:11 -0800 (Wed, 06 Dec 2006)
Revision: 9833
Log message:
Changed the default value of --output-at-end: it will still be off by default,
but the -k/-p/-P will now flip this default to true.
Changes | Path |
+5 -5 | omake-branches/0.9.8.x/doc/src/omake-options.tex |
+8 -4 | omake-branches/0.9.8.x/src/ir/omake_options.ml |