[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#47287: 28.0.50; [PATCH] Add command project-remove-known-project
From: |
Eli Zaretskii |
Subject: |
bug#47287: 28.0.50; [PATCH] Add command project-remove-known-project |
Date: |
Tue, 23 Mar 2021 13:37:27 +0200 |
> From: Theodor Thornhill <theo@thornhill.no>
> Cc: 47287@debbugs.gnu.org
> Date: Mon, 22 Mar 2021 08:48:47 +0100
>
> +(defun project--remove-from-project-list (project-root report-message)
> + "Remove directory PROJECT-ROOT of a missing project from the project list.
> If the directory was in the list before the removal, save the
> result in `project-list-file'. Announce the project's removal
> -from the list."
> +from the list using REPORT-MESSAGE."
Please be sure to say here that REPORT-MESSAGE is a format string
passed to 'message' as its first arg.
Thanks.
- bug#47287: 28.0.50; [PATCH] Add command project-remove-known-project, (continued)
- bug#47287: 28.0.50; [PATCH] Add command project-remove-known-project, Eli Zaretskii, 2021/03/21
- bug#47287: 28.0.50; [PATCH] Add command project-remove-known-project, Theodor Thornhill, 2021/03/21
- bug#47287: 28.0.50; [PATCH] Add command project-remove-known-project, Dmitry Gutov, 2021/03/21
- bug#47287: 28.0.50; [PATCH] Add command project-remove-known-project, Theodor Thornhill, 2021/03/21
- bug#47287: 28.0.50; [PATCH] Add command project-remove-known-project, Theodor Thornhill, 2021/03/21
- bug#47287: 28.0.50; [PATCH] Add command project-remove-known-project, Dmitry Gutov, 2021/03/21
- bug#47287: 28.0.50; [PATCH] Add command project-remove-known-project, Theodor Thornhill, 2021/03/22
- bug#47287: 28.0.50; [PATCH] Add command project-remove-known-project, Dmitry Gutov, 2021/03/22
- bug#47287: 28.0.50; [PATCH] Add command project-remove-known-project, Theodor Thornhill, 2021/03/22
- bug#47287: 28.0.50; [PATCH] Add command project-remove-known-project,
Eli Zaretskii <=
- bug#47287: 28.0.50; [PATCH] Add command project-remove-known-project, Theodor Thornhill, 2021/03/23
- bug#47287: 28.0.50; [PATCH] Add command project-remove-known-project, Eli Zaretskii, 2021/03/23
- bug#47287: 28.0.50; [PATCH] Add command project-remove-known-project, Theodor Thornhill, 2021/03/23
- bug#47287: 28.0.50; [PATCH] Add command project-remove-known-project, Dmitry Gutov, 2021/03/24
- bug#47287: 28.0.50; [PATCH] Add command project-remove-known-project, Basil L. Contovounesios, 2021/03/24
- bug#47287: 28.0.50; [PATCH] Add command project-remove-known-project, Dmitry Gutov, 2021/03/24
- bug#47287: 28.0.50; [PATCH] Add command project-remove-known-project, Theodor Thornhill, 2021/03/25
- bug#47287: 28.0.50; [PATCH] Add command project-remove-known-project, Theodor Thornhill, 2021/03/25