|
| From: | jungle Boogie |
| Subject: | Re: [bug-gawk] makeinfo needed? |
| Date: | Wed, 26 Oct 2016 14:27:07 -0700 |
Hi Arnold, On 26 October 2016 at 12:03, <address@hidden> wrote: > I've restored the .info files to the repo and set things up > such that merges will be easier for me in the future. > Great! I verified this update works without texinfo! Thanks for gawk! > Enjoy, > > Arnold >
| [Prev in Thread] | Current Thread | [Next in Thread] |