diff options
| author | David Kalnischkies <david@kalnischkies.de> | 2014-02-14 18:35:35 +0100 |
|---|---|---|
| committer | David Kalnischkies <david@kalnischkies.de> | 2014-02-14 22:25:30 +0100 |
| commit | 18cce3980f34dc33f9c798204a344a8c1e4de6ba (patch) | |
| tree | 9f3e1c88891fed1cae1c041146860f87aa923ce7 /doc/xml.add | |
| parent | 8190b07a4b338e005fa30d769cb34f1fd29eaa45 (diff) | |
honor option to disable pulses for the testcases
Git-Dch: Ignore
Diffstat (limited to 'doc/xml.add')
0 files changed, 0 insertions, 0 deletions