chiark / gitweb /
pseudomerge: Abolish confusing $dgitview variable