Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2007-01-15 14:24:49 -0800 (Mon, 15 Jan 2007)
Revision: 9955
Log message:
(Bug 629) Use OCAML_CLIBS instead of LIBS, where appropriate.
Changes | Path |
+1 -1 | metaprl/proxyedit/OMakefile |
+1 -1 | metaprl/tactics/ensemble/OMakefile |