aboutsummaryrefslogtreecommitdiff
path: root/GNUmakefile
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2019-11-13 11:04:27 +0100
committerJohannes Ranke <jranke@uni-bremen.de>2019-11-13 11:04:27 +0100
commitf3757dfbaabe4e60ecac063437a75ea32999640a (patch)
tree0f9905ef96ed72203abcc86682132241f23c2286 /GNUmakefile
parent6064a205d42220062506b11d6334b4f8e3217041 (diff)
Remove leftover line
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint