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 /doc/apt-mark.8.xml | |
| 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 'doc/apt-mark.8.xml')
0 files changed, 0 insertions, 0 deletions