aboutsummaryrefslogtreecommitdiff
path: root/GNUmakefile
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2020-05-14 18:47:38 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2020-05-14 18:47:38 +0200
commita1d7c14feadd175674b3cd8b5d7051bafba5bc3e (patch)
tree613417026ca9aaccfaef8f2358295c6f3fe60b29 /GNUmakefile
parent808a679efb69ec6603db6642687d9e8ceb3b3453 (diff)
Update version number, better example formatting
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint