diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2014-05-09 15:20:59 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2014-05-09 15:20:59 +0200 |
| commit | 4c65fe99553ae1c9bd79efee99ba6949b8f5789b (patch) | |
| tree | d51a850717700c10278a705c081a1a8bb3dee978 /inst | |
| parent | 7e1b040f3b4ce7b2ee905e29c2fc5945e9c6ed2f (diff) | |
Substitute gmkin for mkin
Diffstat (limited to 'inst')
0 files changed, 0 insertions, 0 deletions