Re: gitweb tab width

Magnus Hagander  wrote:
> Which can do it, but if that's what's used, it'll have an effect
> on all the other repositories on the server as well. You'd want it
> to be configurable on a per-repository basis.
Is that as a matter of principle or are there actually repositories
on http://git.postgresql.org/gitweb which use a tab width other than
four characters?
-Kevin