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 /GNUmakefile | |
parent | a2e24495c01f837474b69263a9861a89050cbfd1 (diff) |
Avoid warning about possibly mis-spelled word
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions