diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-08-02 15:09:12 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-08-03 09:56:55 +0100 |
commit | d99fbfc09e25cda5a7e95c3c632436d22cb4e59a (patch) | |
tree | 11756585372c8525e3443e2b76844afa41d0a0a3 /DEVELOPER-CERTIFICATE | |
parent | 3c79424dd5982b8bea141a14e1909a972de0f2cc (diff) |
playground refactoring: Dgit.pm: Expose $local_git_cfg
This is now the default for playtree_setup. The caller can simply set
it explicitly.
We make this part of a new :playground export tag for Dgit.pm,
which is going to gain other bits shortly.
And, we add some comments, and move the global; more code and
commentary will appear around this.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'DEVELOPER-CERTIFICATE')
0 files changed, 0 insertions, 0 deletions