Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-12-16 16:25:51 -0800 (Thu, 16 Dec 2004)
Revision: 707
Log message:

      (Bug 311) The "@" prefix in commands should only suppress printing of the
      actual command, but not the of the omake's command status information.
      

Changes	Path
+10 -11	omake/src/exec/omake_exec_print.ml