[Top][All Lists]

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

Re: gendocs.sh --tex ARG (patch)

From: Paul Eggert
Subject: Re: gendocs.sh --tex ARG (patch)
Date: Sat, 04 Apr 2015 11:34:52 -0700
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.6.0

Thanks, that all looks good.  Any reason you didn't install?

reply via email to

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