4 commits

Author	SHA1	Message	Date
Martin Reinecke	d377d60d4f	update to new flags in a few missing places; reformatting	2012-11-06 19:10:34 +01:00
Martin Reinecke	fe7e4fa52d	fix geom2	2012-10-11 08:26:30 +02:00
Martin Reinecke	7852214981	fixes	2012-10-08 15:36:45 +02:00
Martin Reinecke	37bfcadf35	code for simpler execution of benchmarks	2012-10-08 14:52:17 +02:00