diff options
| author | gregor herrmann <gregoa@debian.org> | 2020-07-05 15:37:00 +0200 |
|---|---|---|
| committer | gregor herrmann <gregoa@debian.org> | 2020-07-05 15:37:00 +0200 |
| commit | b14888bcb2b5385883b30ebb401c8c8fc020d49b (patch) | |
| tree | 5e8bb0b68a49b1acc5aed0a01bf6ba94212732ef /debian/copyright | |
| parent | a556fab91da44b5e31348e16757157a4ee65ee90 (diff) | |
debian/rules: drop manual handling of $HOME.
debhelper 13 takes care of that automatically.
Diffstat (limited to 'debian/copyright')
0 files changed, 0 insertions, 0 deletions