Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2006-11-29 10:58:31 -0800 (Wed, 29 Nov 2006)
Revision: 9788
Log message:
- The -p and -P options only imply -k when no --no-k is given
- Similarly, -P only implies -p when no --no-p is given
Changes | Path |
+26 -16 | omake-branches/0.9.8.x/src/ir/omake_options.ml |