diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2016-10-13 17:49:18 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2016-10-13 17:49:18 +0200 |
| commit | 9124e0f7d673c65584c1b2f838a3b944ea89c31d (patch) | |
| tree | 0d9ae3a4123af62f2852ebab90f31f71524cc293 /DESCRIPTION | |
| parent | 12a31f4c130c551f82232d9ef7dfb608bd52c53f (diff) | |
Add drat target, remove unmaintained usage hints
Diffstat (limited to 'DESCRIPTION')
0 files changed, 0 insertions, 0 deletions