Michael Herzberg 980f143859 Changed name of singularity image file.		2017-10-04 23:17:06 +01:00
..
create-db.sge	Added extension id file support and increased memory for create-db job to 4G.	2017-09-21 20:09:00 +01:00
create-db.sh	Changed name of singularity image file.	2017-10-04 23:17:06 +01:00
grepper.sge	Add time to sge scripts.	2017-09-20 17:13:52 +01:00
grepper.sh	Changed name of singularity image file.	2017-10-04 23:17:06 +01:00