Hello, Alan Schmitt <[email protected]> writes:
> Here is a small patch cleaning up ob-coq. Thank you. > (org-babel-coq-initiate-session): use `coq-program-name' Nitpick: missing capital and full stop. Nothing else to say. Regards, -- Nicolas Goaziou
