GNU bug report logs - #79292
[PATCH] Improve project-compile command prompt

Previous Next

Full log

Message #11 received at 79292 <at> debbugs.gnu.org (full text, mbox):

From: Rudolf Adamkovič <rudolf <at> adamkovic.org>
To: Gabriel do Nascimento Ribeiro <gabriel376 <at> hotmail.com>,
 79292 <at> debbugs.gnu.org
Subject: Re: bug#79292: [PATCH] Improve project-compile command prompt
Date: Wed, 27 Aug 2025 22:23:46 +0200

Gabriel do Nascimento Ribeiro <gabriel376 <at> hotmail.com> writes:

> +*** New user option 'project-compilation-command-prompt'
> +This user option controls the computation of the minibuffer prompt for
> +the 'projet-compile' command.  See also 'compilation-command-prompt'.
        ^^^^^^
         typo

Rudy
-- 
"We shall not cease from exploration
 And the end of all our exploring
 Will be to arrive where we started
 And know the place for the first time"
--- T. S. Eliot, Little Gidding, Four Quarters, 1943

Rudolf Adamkovič <rudolf <at> adamkovic.org> [he/him]
http://adamkovic.org

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.