chiark / gitweb /
diffcol.sh: Use /bin/bash explicitly
[stgit] / debian / dirs
1 usr/bin