aboutsummaryrefslogtreecommitdiff
path: root/GNUmakefile
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2014-05-07 16:57:07 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2014-05-07 16:57:07 +0200
commitdbf6f0b96ede8b29e5f13c27949c1305896a7d97 (patch)
treec447b9bcc36e02e2163befbb5858ce7ab539afa3 /GNUmakefile
parent2c33e898930a8baaca3e5d7534a4ec84789b2a33 (diff)
Depend on an mkin version that is without GUI for sure
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint