Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2001-05-04 02:03:50 -0700 (Fri, 04 May 2001)
Revision: 3210
Log message:

      Forgot to checkin
      

Changes  Path
+1 -0 metaprl/theories/itt/Makefile