Stefan Beller <> writes:

> While I can understand 4 or 7 white spaces are fancy, we'd rather want
> to use tabs throughout the whole document.

You missed lines 278 and 833.  There are also some spaces around line
488, but maybe those are layout-relevant and so shouldn't be converted
to tabs.


To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to
More majordomo info at

Reply via email to