emacs-orgmode
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [O] [PATCH] ob-coq cleanup

From: Nicolas Goaziou
Subject: Re: [O] [PATCH] ob-coq cleanup
Date: Wed, 10 Feb 2016 13:13:40 +0100 
Hello,

Alan Schmitt <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.

Regards,

-- 
Nicolas Goaziou
reply via email to
[Prev in Thread] Current Thread [Next in Thread]