diff options
| author | Julien (jvoisin) Voisin | 2016-07-19 15:16:25 +0200 |
|---|---|---|
| committer | Julien (jvoisin) Voisin | 2016-07-19 15:16:25 +0200 |
| commit | 29ce99a4a189a2dbe4fb21fda7d6e358a6ca61a7 (patch) | |
| tree | ea8fcb77d0a0f2200be4b601e4b1055e8e88325a /debian | |
| parent | 36c4a697f91cb17518ae2cb11375fba13278e570 (diff) | |
Do not exit if `nice` isn't installed
Diffstat (limited to 'debian')
0 files changed, 0 insertions, 0 deletions