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 1250
Fix unresolved doc references (#459)