diff options
author | Josh Triplett <josh@joshtriplett.org> | 2019-01-27 08:27:33 +0100 |
---|---|---|
committer | Josh Triplett <josh@joshtriplett.org> | 2019-01-27 08:27:33 +0100 |
commit | 0eceebbdfdc2c5e1d677bff95a9ac1ef2f728337 (patch) | |
tree | ea115e22ccc8ba68b83e5f86d3e90915b80943c9 /apt-private/private-update.cc | |
parent | 4200469bb5a14c4659285917ed30c46a0b15c286 (diff) |
Add a "reinstall" command as an alias for "install --reinstall".
aptitude has a similar "reinstall" command for precedent.
Diffstat (limited to 'apt-private/private-update.cc')
0 files changed, 0 insertions, 0 deletions