Michael Herzberg 4d0b2b5ec5 Fixed sge_common and merge script.		2017-07-31 14:21:57 +01:00
..
generate_small_db.sh	Added python-based sqlite merger.	2017-07-28 16:47:25 +01:00
global_update.sh	Added python-based sqlite merger.	2017-07-28 16:47:25 +01:00
grepper256.sge	Fixed set -u.	2017-07-11 11:15:43 +01:00
merge_dbs	Added python-based sqlite merger.	2017-07-28 16:47:25 +01:00
merge_dbs.sge	Added python-based sqlite merger.	2017-07-28 16:47:25 +01:00
merge_each_db.sge	Fixed sge_common and merge script.	2017-07-31 14:21:57 +01:00
sge_common	Fixed sge_common and merge script.	2017-07-31 14:21:57 +01:00
sqlite256.sge	Fixed set -u.	2017-07-11 11:15:43 +01:00
sync_local_archive.sh	Simple script for syncing a local archive (excerpt of the total archive) for development or debugging.	2017-07-02 16:11:20 +01:00