Christian Koop aadf55fc0a Download head-dump/heads.json from GitHub Pages instead of head-db.com ... Details explained in 1ea1e06431		2023-04-06 10:40:50 +02:00
..
main	Download head-dump/heads.json from GitHub Pages instead of head-db.com	2023-04-06 10:40:50 +02:00