|
From: | Bertrand Garrigues |
Subject: | [bug #51415] [PATCH] .gitignore: Update names of created man-pages |
Date: | Sat, 2 Sep 2017 17:40:57 -0400 (EDT) |
User-agent: | Mozilla/5.0 (Windows NT 6.1; rv:54.0) Gecko/20100101 Firefox/54.0 |
Update of bug #51415 (project groff): Status: In Progress => Fixed Open/Closed: Open => Closed _______________________________________________________ Follow-up Comment #1: I've commited on master a slightly different solution: I've put global rules in the top-level .gitignore and remove useless .gitignore files in various sub-dir. _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/bugs/?51415> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |