summaryrefslogtreecommitdiff
path: root/profiling/write-trace.bash
diff options
context:
space:
mode:
authorJakob Unterwurzacher2018-08-15 13:11:34 +0200
committerJakob Unterwurzacher2018-08-15 13:12:13 +0200
commit5acfbc1b2ffbd156ca7a1f2cc09084a518f1d58e (patch)
tree8c7ec9ed5a7f70945285143f7ed493c21a79351e /profiling/write-trace.bash
parent7a02f71fc2fc8fc104ad1538f417d1e93e73cf11 (diff)
main: add -e as an alias for -exclude
Diffstat (limited to 'profiling/write-trace.bash')
0 files changed, 0 insertions, 0 deletions