chiark / gitweb /
For non-Debian distros, debiantag() uses distro name a la DEP-14.
[dgit.git] / infra / dgit-repos-admin-debian
2015-05-31 Ian JacksonInfra: Put correct value into taintoverrides for questi...
2015-05-31 Ian JacksonNew policy admin script