summaryrefslogtreecommitdiff
path: root/infra/dgit-repos-server
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2015-05-02 19:56:08 +0100
committerIan Jackson <ijackson@chiark.greenend.org.uk>2015-05-31 11:54:09 +0100
commit89506141b188407123bf605d2b051f2dfa10ad4b (patch)
tree16f5843dd3a635818da8d30c839d0e75cf2a0a0c /infra/dgit-repos-server
parent5805198637ef23ec8d8303f4b3b1b7a0df188309 (diff)
Debugging: use typeglobs to simplify various things (nfc)
Diffstat (limited to 'infra/dgit-repos-server')
0 files changed, 0 insertions, 0 deletions