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 |