Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-05-01 19:22:14 -0700 (Sun, 01 May 2005)
Revision: 7241
Log message:

      - Use omake's internal digest function for magic number computation in
        filter/base
      
      - Stripped the "0x" prefix from the MD5 sum comment in filter_magic.ml (I
        could have easily preserve it in the new setup, I just desided that it does
        not make sense to keep it).
      

Changes  Path
+1 -1 metaprl/OMakefile
+2 -6 metaprl/filter/base/OMakefile
+1 -1 metaprl/filter/base/filter_magic.ml
+0 -5 metaprl/util/OMakefile
Deleted metaprl/util/genmagic.ml