summaryrefslogtreecommitdiff log msg author committer range path: root/instr-to-kodkod/src/StringManager.javaAgeCommit message (Expand)Author 2017-07-25It seems to work.Nathanael Sensfelder
