avsm dda70b738c update to hevea-1.10 ... * use new PROPERTY ocaml_native * patch Makefile / config.sh to respect environment variables From: Christopher Zimmermann <madroach@gmerlin.de>		2012-08-18 22:47:00 +00:00
..
patch-config_sh	update to hevea-1.10	2012-08-18 22:47:00 +00:00
patch-Makefile	update to hevea-1.10	2012-08-18 22:47:00 +00:00