aboutsummaryrefslogtreecommitdiff
path: root/ChangeLog
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2016-10-13 17:49:18 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2016-10-13 17:49:18 +0200
commit9124e0f7d673c65584c1b2f838a3b944ea89c31d (patch)
tree0d9ae3a4123af62f2852ebab90f31f71524cc293 /ChangeLog
parent12a31f4c130c551f82232d9ef7dfb608bd52c53f (diff)
Add drat target, remove unmaintained usage hints
Diffstat (limited to 'ChangeLog')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint