Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2002-07-20 11:31:23 -0700 (Sat, 20 Jul 2002)
Revision: 3737
Log message:

      Be more clean on "make clean".
      

Changes  Path
+1 -1 metaprl/theories/mc/Makefile