diff options
| author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2012-08-01 03:13:56 -0400 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2012-08-01 03:13:56 -0400 |
| commit | 92403908792f38bf4f420ea2a552bf73702ee681 (patch) | |
| tree | d4f3a48a2def23393698837e2f508e4c0cee87e0 /inc | |
| parent | 41884912179240ae4d22cf67984522d5225a7d26 (diff) | |
Run test suite for currently active plugin by default
Try to infer current plugin if no plugin is specified.
Diffstat (limited to 'inc')
0 files changed, 0 insertions, 0 deletions