Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-11-26 21:41:53 -0800 (Wed, 26 Nov 2003)
Revision: 5129
Log message:
Omake 0.7.7 still does not do the .mli-free case correctly (see bug 90,
comments #10 and #11). Chacking in a work-around HACK.
Changes | Path |
+5 -0 | metaprl/refiner/rewrite/OMakefile |