diff options
author | Johannes Ranke <jranke@uni-bremen.de> | 2016-10-04 09:06:45 +0200 |
---|---|---|
committer | Johannes Ranke <jranke@uni-bremen.de> | 2016-10-04 09:06:45 +0200 |
commit | 5425751253a647f59899d6f38725af5e47477dd3 (patch) | |
tree | 317fa13369472796e160c67849f7f5e7f0e41558 /GNUmakefile | |
parent | cf329866248fab96ea60d1d7ee20562a3da2eb54 (diff) |
Bump version for development
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions