2020-03-05 | Paul Spooren | Merge pull request #18 from mwarning/rename | blob | commitdiff | raw |
2020-03-04 | Moritz Warning | change release to version | blob | commitdiff | raw |
2020-02-23 | Moritz Warning | use type for download button | blob | commitdiff | raw | diff to current |
2020-02-17 | Moritz Warning | Merge branch 'master' of github.com:mwarning/yet_anothe... | blob | commitdiff | raw | diff to current |
2020-02-17 | Moritz Warning | fix names-18.06.7.json and names-19.07.1.json format | blob | commitdiff | raw | diff to current |
2020-02-16 | Moritz Warning | use separate json file for each version | blob | commitdiff | raw | diff to current |