diff options
author | Julian Andres Klode <jak@debian.org> | 2018-05-16 11:48:31 +0000 |
---|---|---|
committer | Julian Andres Klode <jak@debian.org> | 2018-05-16 11:48:31 +0000 |
commit | e2e2c8c72b970cb442b13ce776f687f4447d875a (patch) | |
tree | 405f497fcc19c2ddbe5e78917316b6875f89088a /dselect/names | |
parent | 622439b7bd2390f709b43701f4b55a172a434b43 (diff) | |
parent | eeb2179569abcfde336e9ce6db20ac3cc80e4aeb (diff) |
Merge branch 'gitignore' into 'master'
Update .gitignore
See merge request apt-team/apt!16
Diffstat (limited to 'dselect/names')
0 files changed, 0 insertions, 0 deletions