On 2016-02-10 13:13, Nicolas Goaziou <m...@nicolasgoaziou.fr> 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. Applied with this change in the commit message. Best, Alan -- OpenPGP Key ID : 040D0A3B4ED2E5C7 Monthly Athmospheric CO₂ (2016-01, Mauna Loa Obs.): 402.52
signature.asc
Description: PGP signature
