diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2014-05-07 16:57:07 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2014-05-07 16:57:07 +0200 |
| commit | dbf6f0b96ede8b29e5f13c27949c1305896a7d97 (patch) | |
| tree | c447b9bcc36e02e2163befbb5858ce7ab539afa3 /GNUmakefile | |
| parent | 2c33e898930a8baaca3e5d7534a4ec84789b2a33 (diff) | |
Depend on an mkin version that is without GUI for sure
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions