diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2018-08-11 10:26:48 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2018-08-11 10:32:31 +0100 |
commit | fa1467e5d28412c0ca7fdd8c6d4a9548677e27e2 (patch) | |
tree | 6651cb7f155a19a889cdefba21afe2f1a7bec3bc /infra/get-dm-txt | |
parent | 1d853dafdff2782206dfc39be74ca372b32f09eb (diff) |
Dgit.pm: Introduce $debugcmd_when_debuglevel
This is also intended to be usefully localisable, and works by
localising $printdebug_when_debuglevel.
NFC.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'infra/get-dm-txt')
0 files changed, 0 insertions, 0 deletions