diff options
| author | David Kalnischkies <david@kalnischkies.de> | 2014-02-14 18:35:35 +0100 |
|---|---|---|
| committer | David Kalnischkies <david@kalnischkies.de> | 2014-02-14 19:14:45 +0100 |
| commit | 5543218acdbbeef1d9f6d118e0b86a765c341430 (patch) | |
| tree | 71114ef8efb0736bab4129f1f796ade8f98869ef /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