-
François Bobot authored
When coqtop -config return something like ``` CAMLP4OPTIONS=-loc loc ``` (cf https://coq.inria.fr/bugs/show_bug.cgi?id=4163)
21b1f3dd
When coqtop -config return something like ``` CAMLP4OPTIONS=-loc loc ``` (cf https://coq.inria.fr/bugs/show_bug.cgi?id=4163)