diff options
| author | José Fonseca <[email protected]> | 2013-06-24 14:45:49 +0100 |
|---|---|---|
| committer | José Fonseca <[email protected]> | 2013-06-24 15:28:48 +0100 |
| commit | a3d75db02224aa82fe8a42680c2e37d9a69699f1 (patch) | |
| tree | 19acc2030edf46829a8267a83cdb476902bd4743 /docs/extensions.html | |
| parent | 5a0556f061d9db00dd7637433d393beead3b3d85 (diff) | |
tools/trace: Fix syntax.
Cleaned/commented up the code, but forgot to actually test before
commiting...
Diffstat (limited to 'docs/extensions.html')
0 files changed, 0 insertions, 0 deletions