diff options
| author | Moritz Lenz <moritz@faui2k3.org> | 2014-12-07 14:56:21 +0100 |
|---|---|---|
| committer | Moritz Lenz <moritz@faui2k3.org> | 2014-12-07 14:56:21 +0100 |
| commit | a34b3a051e47986e1d29466356b41ad6f77fa1cb (patch) | |
| tree | da60cf42266db738de279844c629bd327263df6c /tools | |
| parent | 83c8150c8685cc6582a703ebebcaab56bc679d8c (diff) | |
Warn on missing --prefix option; Closes #40
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions