diff options
| author | Björn Gustavsson <[email protected]> | 2017-06-13 10:04:10 +0200 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2017-06-13 12:25:07 +0200 |
| commit | 23c436e47f3f28b8797626a113361611631e7bf0 (patch) | |
| tree | 1d32612725e644110efd5fb26d17798f77b1380b /erts/man/.gitignore | |
| parent | a54014638c6a1cd0a3e7b1ee36998756a475684b (diff) | |
| download | otp-23c436e47f3f28b8797626a113361611631e7bf0.tar.gz otp-23c436e47f3f28b8797626a113361611631e7bf0.tar.bz2 otp-23c436e47f3f28b8797626a113361611631e7bf0.zip | |
trace_SUITE: Don't leave processes running
Diffstat (limited to 'erts/man/.gitignore')
0 files changed, 0 insertions, 0 deletions