Michael Herzberg b024f5b6d5 Don't zip log files.		2017-08-30 16:04:02 +01:00
..
create-db.sge	Don't zip log files.	2017-08-30 16:04:02 +01:00
create-db.sh	Exclude archive dir when pushing to sharc.	2017-08-30 10:11:25 +01:00
grepper.sge	Improved sge script.	2017-08-24 08:56:02 +01:00
grepper.sh	Improved sge script.	2017-08-24 08:56:02 +01:00