aboutsummaryrefslogtreecommitdiff
path: root/inst
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2016-09-28 08:52:58 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2016-09-28 08:52:58 +0200
commit5d4bc83057b1ca2b07b3e524953f68eadc81d1f3 (patch)
tree301f66f8f43184f20f442248df3d977a7f2ee5f5 /inst
parent0183b7f6ba72717cb40057561913b9e01ab24e6e (diff)
Add drat target
Diffstat (limited to 'inst')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint