aboutsummaryrefslogtreecommitdiff
path: root/GNUmakefile
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2014-05-09 15:20:59 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2014-05-09 15:20:59 +0200
commit4c65fe99553ae1c9bd79efee99ba6949b8f5789b (patch)
treed51a850717700c10278a705c081a1a8bb3dee978 /GNUmakefile
parent7e1b040f3b4ce7b2ee905e29c2fc5945e9c6ed2f (diff)
Substitute gmkin for mkin
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint