[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [COMMITTED master] doc: document poke_interactive_p in the manual
|
From: |
Mohammad-Reza Nabipoor |
|
Subject: |
Re: [COMMITTED master] doc: document poke_interactive_p in the manual |
|
Date: |
Wed, 3 Apr 2024 09:15:54 +0200 |
Hi Jose.
On Tue, Apr 02, 2024 at 12:27:17PM +0200, Jose E. Marchesi wrote:
>
> 2024-04-02 Jose E. Marchesi <jemarch@gnu.org>
>
> * doc/poke.texi (Poke Scripts): Document poke_interactive_p.
Cherry-picked for maint/poke-4.
Thanks.