|
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] |