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 /docs/articles/FOCUS_D_cache | |
parent | 98d684becd9495d370e1bcc8f9c7ca758caa4dd8 (diff) |
Also use https for badge, to avoid mixed content
Diffstat (limited to 'docs/articles/FOCUS_D_cache')
0 files changed, 0 insertions, 0 deletions