Fri, 09 Aug 2013 11:28:17 +0200Apply unify-sources.sh to the source tree
Alpar Juttner <alpar@cs.elte.hu> [Fri, 09 Aug 2013 11:28:17 +0200] rev 1092
Apply unify-sources.sh to the source tree

Fri, 09 Aug 2013 14:07:27 +0200Merge bugfix #439
Alpar Juttner <alpar@cs.elte.hu> [Fri, 09 Aug 2013 14:07:27 +0200] rev 1091
Merge bugfix #439

Fri, 09 Aug 2013 11:07:27 +0200Clarification in biNodeConnected() doc (#439)
Alpar Juttner <alpar@cs.elte.hu> [Fri, 09 Aug 2013 11:07:27 +0200] rev 1090
Clarification in biNodeConnected() doc (#439)