Define OCaml Config module in ./configure, ./run script, --version option.
[goals.git] / tests / file1.c
2019-12-27 Richard W.M. JonesHard code *file tactic.