diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2016-11-04 15:50:00 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2016-11-04 15:50:00 +0100 |
| commit | 8a8ed0a2a991a59e9b4aaff5531a9de3066bae63 (patch) | |
| tree | c17e4503de6affc8bd49dddc7946dc48da220241 /GNUmakefile | |
| parent | 09f4f904af23a34d68d5d78482a5b9e12d9a9494 (diff) | |
Use github URL again
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions