Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-06-17 18:20:53 -0700 (Fri, 17 Jun 2005)
Revision: 1149
Log message:

      Remove the code for Omake_exec.shell.  It is no longer used.
      

Changes	Path
+0 -5	omake/src/exec/omake_exec.ml
+0 -45	omake/src/exec/omake_exec_local.ml
+0 -2	omake/src/exec/omake_exec_notify.ml
+0 -2	omake/src/exec/omake_exec_remote.ml
+0 -16	omake/src/exec/omake_exec_type.ml