Michael Herzberg a81c53f9ca Improved sge script.		2017-08-24 08:56:02 +01:00
..
create-db.sge	Improved sge script.	2017-08-24 08:56:02 +01:00
create-db.sh	Improved sge script.	2017-08-24 08:56:02 +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