Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-04 15:43:14 -0700 (Fri, 04 Jun 2004)
Revision: 5854
Log message:

      Cert generation prints a lot of junk; redirecting it to /dev/null.
      

Changes	Path
+5 -3	metaprl/support/shell/inputs/OMakefile