aboutsummaryrefslogtreecommitdiff
path: root/inst
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2015-07-24 21:31:34 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2015-07-24 21:31:55 +0200
commit7ac03d6a6f2aa950e25235e3f601a413faf62f2e (patch)
tree2e1be0b322fe513fb767a2a4967bf10f4c76a9e0 /inst
parent459ddcd5fd712ab1cb5a30cf31bd4fa7b432573e (diff)
Small improvement to Makefile
Diffstat (limited to 'inst')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint