Changes by: Aleksey Nogin (nogin at cs.caltech.edu) Date: 1998-06-05 14:15:34 -0700 (Fri, 05 Jun 1998) Revision: 2219 Log message:
Clean should also remove generated .ml & .mli files