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 /Debian/Dgit | |
| 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 'Debian/Dgit')
0 files changed, 0 insertions, 0 deletions