diff options
| author | Jakob Unterwurzacher | 2018-08-15 13:11:34 +0200 |
|---|---|---|
| committer | Jakob Unterwurzacher | 2018-08-15 13:12:13 +0200 |
| commit | 5acfbc1b2ffbd156ca7a1f2cc09084a518f1d58e (patch) | |
| tree | 8c7ec9ed5a7f70945285143f7ed493c21a79351e /profiling/write-trace.bash | |
| parent | 7a02f71fc2fc8fc104ad1538f417d1e93e73cf11 (diff) | |
main: add -e as an alias for -exclude
Diffstat (limited to 'profiling/write-trace.bash')
0 files changed, 0 insertions, 0 deletions