http://it-dev.mpiwg-berlin.mpg.de/hg/openmind/ en-us openmind: src/main/java/cl/maps/triple/TripleKey.java history src/main/java/cl/maps/triple/TripleKey.java revision history check in complete source of cl.maps. http://it-dev.mpiwg-berlin.mpg.de/hg/openmind/log/6e08ff123ae6/src/main/java/cl/maps/triple/TripleKey.java casties Wed, 14 Dec 2016 15:49:40 +0100