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