diff options
| author | Nicolas "Pixel" Noble <pixel@nobis-crew.org> | 2013-01-09 05:03:10 +0100 |
|---|---|---|
| committer | Nicolas "Pixel" Noble <pixel@nobis-crew.org> | 2013-01-09 05:03:10 +0100 |
| commit | 8ecfc19a5fff07065d893145b55921752754a708 (patch) | |
| tree | a3e1cd1ab796bead20ce35f7ffe20232090ca6df /.gitmodules | |
| parent | 4e4e10fdfe9f2e43c2fbb875422e5b658bd8d0b7 (diff) | |
Disabling generating traces for task switches, and adding a move constructor for exceptions.
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions