diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2015-06-25 11:32:34 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2015-06-25 11:32:34 +0200 |
| commit | c3d6dde60cb368f403ffe0285db27e218f669990 (patch) | |
| tree | 0d356630c1a74aa468c3d941a0bc861ec495b3a6 /GNUmakefile | |
| parent | 5a58193c861c9b8e19f211db8711f432a3a93d85 (diff) | |
Add mmkin for testing
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions