Zsh Mailing List Archive
Messages sorted by: Reverse Date, Date, Thread, Author

Re: [PATCH] Update make completion with gnu options



On Fri, 12 Jul 2013 07:46:25 +0100
Nick Cross <zsh@xxxxxxxxx> wrote:
> Here are the additional commands for make. Thanks to Bart Schaefer who
> helped with correcting the make completion. I *think* its correct now
> ;-)

Thanks, I've committed it.

pws



Messages sorted by: Reverse Date, Date, Thread, Author