diff options
| author | Julian Andres Klode <jak@debian.org> | 2021-11-04 03:49:04 +0000 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2021-11-04 03:49:04 +0000 |
| commit | fd8affa0b98761b2140f2ec8d012b5176c615550 (patch) | |
| tree | 63dcd9a5cc32141d00ca4ca5325622a3c6bb1ee5 /doc | |
| parent | f4c4f057665adf5d26b6d83be30362fcd837db22 (diff) | |
| parent | 48d4b06013ae3d80b95cf72efaf9a5e7468de965 (diff) | |
Merge branch 'command-v' into 'main'
Use `command -v` instead of `which`
See merge request apt-team/apt!193
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions