Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2007-09-10 10:34:18 -0700 (Mon, 10 Sep 2007)
Revision: 12138
Log message:
Automated merge of 12129:12137 from svn+ssh://svn.metaprl.org/svnroot/mojave/omake-branches/jumbo/curry into var2
| Changes | Path(relative to omake-branches/jumbo/var2) |
| Properties | . |
| +1 -1 | src/env/omake_env.ml |