diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2020-05-14 18:47:38 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2020-05-14 18:47:38 +0200 |
| commit | a1d7c14feadd175674b3cd8b5d7051bafba5bc3e (patch) | |
| tree | 613417026ca9aaccfaef8f2358295c6f3fe60b29 /GNUmakefile | |
| parent | 808a679efb69ec6603db6642687d9e8ceb3b3453 (diff) | |
Update version number, better example formatting
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions