Christian Koop 1ea1e06431 Copies 'http://www.head-db.com/dump/' into the git repository ... It is directly downloaded from `http://www.head-db.com/dump/` (a couple minutes ago). A future commit will change the EpicHeads code to download the JSON from GitHub instead of head-db.com. The domain/page is basically discontinued, doesn't have https most of the time, serves the JSON dump with the wrong Content-Type and its uptime has been an common issue in the past.		2023-04-06 10:38:20 +02:00
docs	Copies 'http://www.head-db.com/dump/' into the git repository	2023-04-06 10:38:20 +02:00
src/main	Migrate to new storage format.	2022-09-05 16:50:19 -04: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 v3.4.2-BETA	2023-03-29 21:56:42 +02:00