aboutsummaryrefslogtreecommitdiffstats
path: root/docs
diff options
context:
space:
mode:
authorDaniel Gultsch <daniel.gultsch@rwth-aachen.de>2014-03-26 00:17:26 +0100
committerDaniel Gultsch <daniel.gultsch@rwth-aachen.de>2014-03-26 00:17:26 +0100
commit0c37abf1e9d9d285f601a9f8aa128bf4382685fd (patch)
treeed385042f6690b92a45b45bbb4ab19c9b6b45830 /docs
parent8b85b603d300d94d7db68072dbaf75b74f65af14 (diff)
made work around not being a work around any more
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions