summaryrefslogtreecommitdiff log msg author committer range path: root/instr-to-kodkod/parser/MakefileAgeCommit message (Collapse)Author 2017-07-19First shot at the framework (it does compile).Nathanael Sensfelder
