bug-texinfo
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: small correction


From: Karl Berry
Subject: Re: small correction
Date: Fri, 4 Jan 2013 01:31:05 GMT

    !                                  default font of the merged-to index.
    --- 10262,10268 ----
    !                                  roman font for the merged-from index.

Installed, thanks.

k



reply via email to

[Prev in Thread] Current Thread [Next in Thread]