revisionIndex.size() for pagination etc. #49
Description
for pagination of a topicmaps history we need to know how many revisions are in
total
A .size() method would be nice
Original issue reported on code.google.com by [email protected] on 9 Sep 2010 at 1:05