diff options
| author | Daniel Friesel <daniel.friesel@uos.de> | 2019-07-26 11:56:07 +0200 |
|---|---|---|
| committer | Daniel Friesel <daniel.friesel@uos.de> | 2019-07-26 11:56:07 +0200 |
| commit | e554f748e7c049b25e59eff1429309eb6c9f8cc5 (patch) | |
| tree | 08becf899eb1cf2a2ef7c90bf51bd5092c6fd031 /.gitignore | |
| parent | 4972286f8291b12b1a62393dc297a4a0362cbbc0 (diff) | |
support '$' as trace filter terminator
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions