Mon, 05 Aug 2013 14:03:29 +0200Fix unresolved doc references (#459)
Alpar Juttner <alpar@cs.elte.hu> [Mon, 05 Aug 2013 14:03:29 +0200] rev 1074
Fix unresolved doc references (#459)

Tue, 30 Jul 2013 15:54:46 +0200Merge bugfix #461
Alpar Juttner <alpar@cs.elte.hu> [Tue, 30 Jul 2013 15:54:46 +0200] rev 1073
Merge bugfix #461