summaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
authorMatthias Vogelgesang <matthias.vogelgesang@kit.edu>2017-06-09 15:34:34 +0200
committerMatthias Vogelgesang <matthias.vogelgesang@kit.edu>2017-06-09 15:34:34 +0200
commit2d34dce48e688da8fb2c8ce45fdbba82b262cc87 (patch)
tree5335fa576ac9e9054d2c1ea45ed01ebcd7aecc2e /docs
parent23254086cb9abbd7f95ef7164a91ce04591ee209 (diff)
Install RUNTIME into libdir
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions