diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2015-11-10 11:34:32 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2015-11-13 11:01:05 +0100 |
| commit | ba07744bf3933402d4ef815cf5c2575253b1fd7e (patch) | |
| tree | 08777592642a3d3d36851856bc7534b42f24fb8a /GNUmakefile | |
| parent | 97b4b0a109d55080c781d9bbecec59b56f7037b5 (diff) | |
Bump version, change to version number format as shown in summaries
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions