[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [O] [PATCH] ob-coq cleanup
|
From: |
Alan Schmitt |
|
Subject: |
Re: [O] [PATCH] ob-coq cleanup |
|
Date: |
Thu, 11 Feb 2016 08:55:19 +0100 |
|
User-agent: |
Gnus/5.130014 (Ma Gnus v0.14) Emacs/24.5 (darwin) |
On 2016-02-10 13:13, Nicolas Goaziou <address@hidden> 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