aboutsummaryrefslogtreecommitdiff
path: root/GNUmakefile
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2016-11-17 23:32:59 +0100
committerJohannes Ranke <jranke@uni-bremen.de>2016-11-17 23:32:59 +0100
commitd6371c34df7022d0581d803f7bb39e2546bc1a5c (patch)
treed5a608b0ace0dabe88366c9a62e6954feb4b30a8 /GNUmakefile
parent98d684becd9495d370e1bcc8f9c7ca758caa4dd8 (diff)
Also use https for badge, to avoid mixed content
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint