Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-02-28 17:58:04 -0800 (Mon, 28 Feb 2005)
Revision: 6780
Log message:
Minor code clean-up
Changes | Path |
+1 -1 | metaprl/filter/base/filter_magic.ml |
+6 -9 | metaprl/refiner/reflib/ascii_io.ml |