| summaryrefslogtreecommitdiff |
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-07-19 16:11:14 +0200 |
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-07-19 16:11:14 +0200 |
| commit | 313514ac06fc6959a684cd7265c5d146769ec934 (patch) | |
| tree | 6ecbc593c6cd74d5fb246fa64ec46c27b51c6f58 /instr-to-kodkod/Makefile | |
| parent | 3bb73bf4bd66582dd6ea4b32b3691bfa14ec5cca (diff) | |
I think I was a bit fast in my "a->b" commit.
Diffstat (limited to 'instr-to-kodkod/Makefile')
0 files changed, 0 insertions, 0 deletions