diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2016-11-17 23:32:59 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2016-11-17 23:32:59 +0100 |
| commit | d6371c34df7022d0581d803f7bb39e2546bc1a5c (patch) | |
| tree | d5a608b0ace0dabe88366c9a62e6954feb4b30a8 /GNUmakefile | |
| parent | 98d684becd9495d370e1bcc8f9c7ca758caa4dd8 (diff) | |
Also use https for badge, to avoid mixed content
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions