aboutsummaryrefslogtreecommitdiff
path: root/GNUmakefile
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2017-07-24 16:23:22 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2017-07-24 16:23:22 +0200
commit762880a78620e50814351248c02d012a7b030fb8 (patch)
tree136d99498ba458149e4ca27bd2e1cd63d12c0b68 /GNUmakefile
parenta2e24495c01f837474b69263a9861a89050cbfd1 (diff)
Avoid warning about possibly mis-spelled word
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint