|
From: | Karl Berry |
Subject: | [bug #13294] info directory merge leaves duplicates |
Date: | Wed, 09 Feb 2011 21:04:54 +0000 |
User-agent: | Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.9.1.16) Gecko/20101123 SeaMonkey/2.0.11 |
Update of bug #13294 (project texinfo): Assigned to: None => gray _______________________________________________________ Follow-up Comment #1: Sergey -- another one for info. maybe you could take a look at better info dir merging? tx. _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/bugs/?13294> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |