chiark / gitweb /
TOPGIT: [PATCH] Use standard prefix and DESTDIR rather than explain