aboutsummaryrefslogtreecommitdiff
path: root/GNUmakefile
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2016-10-04 09:06:45 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2016-10-04 09:06:45 +0200
commit5425751253a647f59899d6f38725af5e47477dd3 (patch)
tree317fa13369472796e160c67849f7f5e7f0e41558 /GNUmakefile
parentcf329866248fab96ea60d1d7ee20562a3da2eb54 (diff)
Bump version for development
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint