Changes by: Aleksey Nogin (nogin at cs.caltech.edu) Date: 1998-09-09 11:32:46 -0700 (Wed, 09 Sep 1998) Revision: 2462 Log message:
Remove infix.ml on make clean