diff options
| author |  qadeer <unknown> | 2014-11-08 09:50:33 -0800 |
|---|---|---|
| committer | qadeer <unknown> | 2014-11-08 09:50:33 -0800 |
| commit | 10bc14d4b152db1d98d989d629563a244b6e4272 (patch) | |
| tree | 788eea73c3b9499317d8622340cbcaadebca1c75 /Source/Concurrency | |
| parent | b96b3c7c9d8aa4a22e5d90a760e0c4c95e6e042c (diff) | |
changed the suffix of the trace file from .bpl to .txt to avoid confusing the lit tool
Diffstat (limited to 'Source/Concurrency')
0 files changed, 0 insertions, 0 deletions