Fri, 27 Mar 2009 07:24:18 +0100Bug fix in unify-sources.sh (#245)
Peter Kovacs <kpeter@inf.elte.hu> [Fri, 27 Mar 2009 07:24:18 +0100] rev 544
Bug fix in unify-sources.sh (#245)

Fri, 27 Mar 2009 09:30:22 +0000Merge
Alpar Juttner <alpar@cs.elte.hu> [Fri, 27 Mar 2009 09:30:22 +0000] rev 543
Merge

Tue, 10 Mar 2009 13:18:42 +0100Minor fix in the LICENSE file
Alpar Juttner <alpar@cs.elte.hu> [Tue, 10 Mar 2009 13:18:42 +0100] rev 542
Minor fix in the LICENSE file