diff options
| author | Johannes Ranke <johannes.ranke@jrwb.de> | 2015-06-20 17:52:51 +0200 |
|---|---|---|
| committer | Johannes Ranke <johannes.ranke@jrwb.de> | 2015-06-20 17:52:51 +0200 |
| commit | 35ff2c2e7154b5d66a6b33e77d3f4f40282df3c2 (patch) | |
| tree | b2edf5df946ae33e84651afb691a4e3321ed1b5d /docs/dev | |
| parent | 062b9cc1d084e8bb5e552076fc48ade4b3050644 (diff) | |
Suppress compiler warning for sometimes unused time variable
Diffstat (limited to 'docs/dev')
0 files changed, 0 insertions, 0 deletions