From mboxrd@z Thu Jan  1 00:00:00 1970
From: Alan Schmitt <alan.schmitt@polytechnique.org>
Subject: Re: [PATCH] ob-coq cleanup
Date: Thu, 11 Feb 2016 08:55:19 +0100
Message-ID: <m2ziv7fzq0.fsf@charm-ecran.irisa.fr>
References: <m2k2mdarez.fsf@charm-ecran.irisa.fr>
	<87pow4oj9n.fsf@nicolasgoaziou.fr>
Mime-Version: 1.0
Content-Type: multipart/signed; boundary="=-=-=";
	micalg=pgp-sha512; protocol="application/pgp-signature"
Return-path: <emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:39782)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <alan.schmitt@polytechnique.org>) id 1aTm61-0007bC-DV
	for emacs-orgmode@gnu.org; Thu, 11 Feb 2016 02:55:26 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <alan.schmitt@polytechnique.org>) id 1aTm5y-0002aj-6G
	for emacs-orgmode@gnu.org; Thu, 11 Feb 2016 02:55:25 -0500
Received: from mail2-relais-roc.national.inria.fr ([192.134.164.83]:64895)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <alan.schmitt@polytechnique.org>) id 1aTm5x-0002aa-W3
	for emacs-orgmode@gnu.org; Thu, 11 Feb 2016 02:55:22 -0500
In-Reply-To: <87pow4oj9n.fsf@nicolasgoaziou.fr> (Nicolas Goaziou's message of
	"Wed, 10 Feb 2016 13:13:40 +0100")
List-Id: "General discussions about Org-mode." <emacs-orgmode.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/emacs-orgmode>,
	<mailto:emacs-orgmode-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/emacs-orgmode>
List-Post: <mailto:emacs-orgmode@gnu.org>
List-Help: <mailto:emacs-orgmode-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/emacs-orgmode>,
	<mailto:emacs-orgmode-request@gnu.org?subject=subscribe>
Errors-To: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org
Sender: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org
To: emacs-orgmode <emacs-orgmode@gnu.org>

--=-=-=
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable

On 2016-02-10 13:13, Nicolas Goaziou <mail@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

=2D-=20
OpenPGP Key ID : 040D0A3B4ED2E5C7
Monthly Athmospheric CO=E2=82=82 (2016-01, Mauna Loa Obs.): 402.52

--=-=-=
Content-Type: application/pgp-signature; name="signature.asc"

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQEcBAEBCgAGBQJWvD5nAAoJEAQNCjtO0uXHUHwIALHA3grTffKx3zzXvI0I31tb
1oAaxdS9fkPcpvx1tlZWokzCIH4NtLYJ5Kny2S/wkHWPJ3L/RfngpPVwDOGPdC6z
9mC8aU+tF6R15zCjs0O9YPilMt4oHJXf99BgGdl2V9+a6RWIEFQeDnXN5W0RtsX6
Y7QBFsDKUrVzv8i1pRkt7zTcjUu38RFUYUPlDRTzC++SPkRO1RucPHP9vVek19C0
oMvkoxBRoAp0Np3U9osp2HoYXCPe/2+ibsEoX97/oD0xMQ0QNsD85spFWUuqO7mQ
PpbSAeQdC6ZYM4Tq9bZ5ke9Xaciq8FgLBEe9Va6K4SclpOkIyvngLCSB1vCAptQ=
=Ppek
-----END PGP SIGNATURE-----
--=-=-=--