chiark / gitweb /
dgit-repos-server: rename private env vars to DGIT_DRS_...
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 24 Jan 2014 19:04:07 +0000 (19:04 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 5 Mar 2014 18:29:04 +0000 (18:29 +0000)
commitb1af6f60f83e15873c35ee802d6c90a6d6b39aaf
treefbf8b7c0d6e2a59018607440ba29bce1723cb59b
parent5d168e7834d5add93a652b4343602dce179ee35c
dgit-repos-server: rename private env vars to DGIT_DRS_...
dgit-repos-server