diff options
author | Julian Andres Klode <jak@debian.org> | 2018-12-04 11:52:28 +0000 |
---|---|---|
committer | Julian Andres Klode <jak@debian.org> | 2018-12-04 11:52:28 +0000 |
commit | dbf202ff9d20a043855d41f4bea1d954b0cef579 (patch) | |
tree | a1e4eec65808cd201547171ab559982d1f0d17fd /debian/source | |
parent | 2c0318af1445f4edbb8a36a3949019267621679e (diff) | |
parent | 8f503447a4e5e494487672e4678498e288f6d9be (diff) |
Merge branch 'remove_old_derivatives' into 'master'
Remove old derivatives
See merge request apt-team/apt!31
Diffstat (limited to 'debian/source')
0 files changed, 0 insertions, 0 deletions