diff options
| author | Patrick Totzke <patricktotzke@gmail.com> | 2016-12-15 18:08:23 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-12-15 18:08:23 +0000 |
| commit | d633feddaf77c171aafe1586a6306c4ba67d29d6 (patch) | |
| tree | 6e785c93c2f068fd4bfe8ca651c1e57f19073046 /extra | |
| parent | 2c3bdf1fcf1f3bb190c96f5f41ec5857266400d4 (diff) | |
| parent | 589314a66946d3ef2c26b444850b0e2177b9fcb8 (diff) | |
Merge pull request #924 from zenhack/cleanup-badges
Use footnote-links to clean up badges
Diffstat (limited to 'extra')
0 files changed, 0 insertions, 0 deletions