Wed, 13 May 2009 09:50:14 +0100Merge various fixes 1.1 r1.1
Alpar Juttner <alpar@cs.elte.hu> [Wed, 13 May 2009 09:50:14 +0100] rev 845
Merge various fixes

Tue, 12 May 2009 12:09:55 +0100Merge 1.1
Alpar Juttner <alpar@cs.elte.hu> [Tue, 12 May 2009 12:09:55 +0100] rev 844
Merge

Thu, 07 May 2009 02:05:12 +0200Remove references of missing tools (#257) 1.1
Peter Kovacs <kpeter@inf.elte.hu> [Thu, 07 May 2009 02:05:12 +0200] rev 843
Remove references of missing tools (#257)

Thu, 30 Apr 2009 11:48:04 +0100Release branch 1.1 created 1.1
Alpar Juttner <alpar@cs.elte.hu> [Thu, 30 Apr 2009 11:48:04 +0100] rev 842
Release branch 1.1 created

Thu, 19 Nov 2009 09:36:43 +0100Valgring option for ./scripts/bootstrap.sh
Alpar Juttner <alpar@cs.elte.hu> [Thu, 19 Nov 2009 09:36:43 +0100] rev 841
Valgring option for ./scripts/bootstrap.sh

Wed, 18 Nov 2009 18:37:21 +0000Optionally use valgrind when running tests + other build system fixes
Akos Ladanyi <ladanyi@tmit.bme.hu> [Wed, 18 Nov 2009 18:37:21 +0000] rev 840
Optionally use valgrind when running tests + other build system fixes