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