chiark / gitweb /
dot/gitk: converging: remove geometry