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

Re: PATCH: cleanup



Sven Wischnowsky (wischnow@xxxxxxxxxxxxxxxxxxxxxxx) wrote:
> The question is: is now the right time for such changes or should we
> wait until we all have gotten used to the styles stuff?

I vote for doing it now.  There are probably more people who haven't
changed over yet than have, and hence would benefit from not having to
make two lots of changes in a short space of time.



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