diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2017-07-24 16:23:22 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2017-07-24 16:23:22 +0200 |
| commit | 762880a78620e50814351248c02d012a7b030fb8 (patch) | |
| tree | 136d99498ba458149e4ca27bd2e1cd63d12c0b68 /inst | |
| parent | a2e24495c01f837474b69263a9861a89050cbfd1 (diff) | |
Avoid warning about possibly mis-spelled word
Diffstat (limited to 'inst')
0 files changed, 0 insertions, 0 deletions