|
From: | G. Branden Robinson |
Subject: | [bug #51415] [PATCH] .gitignore: Update names of created man-pages |
Date: | Sat, 22 Jan 2022 06:16:01 -0500 (EST) |
Update of bug #51415 (project groff): Category: None => General Item Group: None => Build/Installation Planned Release: None => 1.22.4 _______________________________________________________ Follow-up Comment #2: commit 57c024780c9f60f3ed70fed9e5b79ea87d1fbba4 Author: Bertrand Garrigues <bertrand.garrigues@laposte.net> Date: Sat Sep 2 23:36:16 2017 +0200 Fix .gitignore files for in-source build. Fix bug https://savannah.gnu.org/bugs/?51415. (This commit also fixed bug #51425.) _______________________________________________________ Reply to this item at: <https://savannah.gnu.org/bugs/?51415> _______________________________________________ Message sent via Savannah https://savannah.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |