ceze88 df6b0cd399 Merge branch 'development'		2023-04-13 20:38:35 +02:00
docs	Copies 'http://www.head-db.com/dump/' into the git repository	2023-04-06 10:38:20 +02:00
src/main	Download head-dump/heads.json from GitHub Pages instead of head-db.com	2023-04-06 10:40:50 +02:00
.gitignore	Recode	2019-05-04 05:05:54 -04:00
LICENSE	Switch LICENSE to CC BY-NC-ND 4.0	2023-03-29 21:39:39 +02:00
pom.xml	Release 3.4.2	2023-04-13 20:38:10 +02:00