diff options
| author | Julian Andres Klode <jak@debian.org> | 2015-08-14 11:49:45 +0200 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2015-08-14 12:38:18 +0200 |
| commit | b381a482eab0fc7b65b63cf0512ef1f97d775e34 (patch) | |
| tree | 49e759c923d2db55e77b9c9910a1c3d17b9ed303 /doc/makefile | |
| parent | 51c4e07f4cba0615ff269b5a8d04dfd3d1313b00 (diff) | |
Replace --force-yes by various options starting with --allow
This enables more fine grained control over such exceptions.
Diffstat (limited to 'doc/makefile')
0 files changed, 0 insertions, 0 deletions