From: Richard W.M. Jones Date: Sat, 28 Dec 2019 19:54:50 +0000 (+0000) Subject: Define OCaml Config module in ./configure, ./run script, --version option. X-Git-Tag: v'0.2'~122 X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;ds=sidebyside;h=315ceff80b09b76959a067fa2f3288f22d2e55da;hp=315ceff80b09b76959a067fa2f3288f22d2e55da;p=goals.git Define OCaml Config module in ./configure, ./run script, --version option. ---