diff options
| author | rubo77 <github@r.z11.de> | 2018-07-21 20:43:20 +0200 |
|---|---|---|
| committer | rubo77 <github@r.z11.de> | 2018-07-21 22:04:49 +0200 |
| commit | 8747632b6e9fcf2b5ad03bca8ca2ebcfc4e453e2 (patch) | |
| tree | ae4e1c741443b75650a4b744cf2fb1f600c7dcde /download | |
| parent | f2dc8403ebd17e67d622d0fc2bb46b1a923e2a55 (diff) | |
make-release.sh: correct only one device option and build with V=s per default
Diffstat (limited to 'download')
0 files changed, 0 insertions, 0 deletions