summaryrefslogtreecommitdiff
path: root/build
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2017-05-12 17:41:54 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2017-05-12 17:41:54 +0200
commit80f228eb0f128718fcdb5630c2cdf5225c259552 (patch)
tree75fb876ec59920185345be96167c01bc3817797c /build
parent64cfdbab76215b505670f73e5e2d6b8f53a64c03 (diff)
Switch to the right buildresult directory
Diffstat (limited to 'build')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint