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

Re: [PATCH 12/16] _git: correct some "undocumented" options



On Tue, Jul 30, 2013 at 6:06 PM, m0viefreak
<m0viefreak.cm@xxxxxxxxxxxxxx> wrote:

> So what's the best way to go forward?
> Should a [PATCH 17] be added and re-insert those
> # TODO:
> comments for options that are still missing in the git docs?

I wouldn’t worry about it, but please, if you find the time, send the
Git project the relevant patches to their documentation as well.  I
should have done it myself, but I never got around to it, and for that
I’m apologetic.



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