Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-07-14 12:22:37 -0700 (Wed, 14 Jul 2004)
Revision: 6075
Log message:

      If OCAMLLIB is not set, use C:\ocaml\lib (since README.WIN32 suggests that
      this is the default). Thanks to Jirka Hana for reporting this.
      

Changes	Path
+1 -1	metaprl/OMakefile