aboutsummaryrefslogtreecommitdiff
path: root/GNUmakefile
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2014-08-25 18:42:00 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2014-08-25 18:42:00 +0200
commit753c8187436c74d0d6200d3cf0e4dc490bb92b58 (patch)
tree66d0eee66c56b1739d2c276bdbac292207ed7f2c /GNUmakefile
parent16666f792a947abe402cb8f3528f6cb9e67ca916 (diff)
Correct the NEWS entry
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint