diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-08-24 15:41:49 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2018-06-16 12:25:49 +0100 |
commit | 54a18d290527b6aa515592d27f90f35187757e8c (patch) | |
tree | 7be045f6fc44ce1480943e539bbaedb13c7731d8 /infra/dgit-repos-server | |
parent | 3e9cb86bb654846019aedc74db306934aabb4f93 (diff) |
Dgit.pm: Move $playground global to dgit.
It makes the interface to the playground functions confusing.
No functional change.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'infra/dgit-repos-server')
0 files changed, 0 insertions, 0 deletions