bug-texinfo
[Top][All Lists]
Advanced

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

Re: texinfo-5.0 available


From: Karl Berry
Subject: Re: texinfo-5.0 available
Date: Fri, 22 Feb 2013 23:29:05 GMT

    +static void pc_initialize_terminal (char *);

     static void
     w32_info_init (void)
     {
    -  static void pc_initialize_terminal (char *);

Applied, thanks.



reply via email to

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