use type for download button
authorMoritz Warning <moritzwarning@web.de>
Fri, 21 Feb 2020 21:03:03 +0000 (22:03 +0100)
committerMoritz Warning <moritzwarning@web.de>
Sun, 23 Feb 2020 18:19:07 +0000 (19:19 +0100)
commitf36a7cb50c16eab827b74e3ea82490899367f1a6
tree57376ecff270b446bf932605cf6b98efc7891c33
parent1f51597596863f13381f8102bae105162504fd24
use type for download button

do not use any tags
index.js
misc/collect.py
names-18.06.7.json
names-19.07.1.json
names-SNAPSHOT.json