summaryrefslogtreecommitdiff log msg author committer range path: root/instr-to-kodkod/src/Parameters.javaAgeCommit message (Expand)Author 2017-07-17Improves parameters handlingNathanael Sensfelder
