This repository has been archived on 2025-03-31. You can view files and clone it, but cannot push or open issues or pull requests.

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