diff options
| author | Matthias Vogelgesang <matthias.vogelgesang@kit.edu> | 2012-07-26 10:00:32 +0200 |
|---|---|---|
| committer | Matthias Vogelgesang <matthias.vogelgesang@kit.edu> | 2012-07-26 10:00:32 +0200 |
| commit | fa4f1fdbee50522330387bead1b4fd875aef1d91 (patch) | |
| tree | efa8ee5728226d37cc19ae4e4ba647bc453b5df6 /doc | |
| parent | edeecdece952114d85caebc63075fff2bbd57a0d (diff) | |
Output version number if wrong
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions