chiark / gitweb /
dgit-repos-server: Make $policy a global
[dgit.git] / infra / get-dm-txt
2014-11-08 Ian Jacksoninfra: Provide get-dm-txt