Markus Birth 02a122c29c Bugfix and new tool to fetch db.		2018-01-19 22:18:35 +01:00
..
clean_dupes.php	Even more statistics for cleanup.	2018-01-06 17:42:11 +01:00
get_data.sh	Moved helper scripts to bin/ dir.	2017-12-18 15:02:24 +01:00
get_db.sh	Bugfix and new tool to fetch db.	2018-01-19 22:18:35 +01:00
initdb.sh	Separated initial data from db schema. Minor optimisations.	2017-12-19 22:36:42 +01:00
parse_files.php	Moved helper scripts to bin/ dir.	2017-12-18 15:02:24 +01:00
put_data.sh	Moved helper scripts to bin/ dir.	2017-12-18 15:02:24 +01:00
put_db.sh	Bugfix and new tool to fetch db.	2018-01-19 22:18:35 +01:00