diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2018-08-03 13:49:37 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2018-08-03 14:53:44 +0100 |
commit | 666278d3724ee2f7b3f75272a9735c5bb4176575 (patch) | |
tree | 4f8d2d8d7285a6eed7a12756b80e5d9719b13d30 /Debian/Dgit | |
parent | fe63aca9ed9d55d546a8cb5cd83053bbaaafe309 (diff) |
Dgit.pm: Move is_orig_file_of_p_v and its dependencies from dgit
We want is_orig_file_of_p_v, so move it and all the things it depends
on.
NFC.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'Debian/Dgit')
0 files changed, 0 insertions, 0 deletions