BTW, OK by me :) Now that I'm retired, it is starting to look like less time for this stuff... ;)
On Thu, Jun 9, 2016 at 10:25 AM, David Edelsohn <dje....@gmail.com> wrote: > Index: inclhack.def > =================================================================== > --- inclhack.def (revision 237258) > +++ inclhack.def (working copy)
