diff options
| author | Marc Weitz | 2018-03-21 17:40:55 +0100 |
|---|---|---|
| committer | GitHub | 2018-03-21 17:40:55 +0100 |
| commit | 2afd5ed918b517e19530c37b378c9051b073a4d9 (patch) | |
| tree | 9113b9e087aed239821a3abbfb786623bd0921ca /.github/PULL_REQUEST_TEMPLATE.md | |
| parent | b660e4bcba1aa32f3aa4e475b95b9b8f11ab621b (diff) | |
| parent | acac8490f38798232f44f86c19d23b0c86468460 (diff) | |
Merge pull request #2 from primeos/master
Use umlauts and fix the badge links
Diffstat (limited to '.github/PULL_REQUEST_TEMPLATE.md')
0 files changed, 0 insertions, 0 deletions