| commit | d813987e4f34bbd29c08ccaa8dbbbb8bcaa43251 | [log] [tgz] |
|---|---|---|
| author | root <root@localhost> | Fri Mar 20 20:13:03 2015 +0100 |
| committer | root <root@localhost> | Fri Mar 20 20:13:03 2015 +0100 |
| tree | 49196dac8b35007a988905eec7dbaddb8e60a2ff | |
| parent | 1050feaf96cff3852ec2dc42ac161ad4e13b616f [diff] |
UnionFind: Use IndexType because UnsignedInt was removed.