aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJakob Unterwurzacher2017-06-05 22:45:11 +0200
committerJakob Unterwurzacher2017-06-07 22:09:06 +0200
commit71978ec88a2aa8ec92df080a4a6becf623957c81 (patch)
treedee06235a540e7188a6defc6f2bc6057cd000af5 /.gitignore
parent22820bcd76a781d09ce82f6e734013d55afc1e5c (diff)
Add "-trace" flag (record execution trace)
Uses the runtime/trace functionality. TODO: add to man page.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions