Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2007-08-06 15:51:53 -0700 (Mon, 06 Aug 2007)
Revision: 11871
Log message:
Do not print the "saved .omakedb" messages when --no--print-status is enabled
(e.g. in tests).
| Changes | Path(relative to omake-branches/0.9.8.x/src/exec) |
| +2 -1 | omake_exec_print.ml |