The link to Bernhard's subversion branch belongs in subversion.html (where
it already is).
1 file changed