Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-18 18:35:03 -0700 (Fri, 18 Jun 2004)
Revision: 5945
Log message:

      support/shell/session_io.ml is a generated file and needs to be cleaned.
      

Changes	Path
+1 -1	metaprl/support/shell/OMakefile