Revision f0a067e9
Better production of trace files.
By default traces are not produced. Requires the option -t to produce them
Files
- added
- modified
- copied
- renamed
- deleted
| ID | f0a067e93124e05327ad8888b9d5bbd4ebe2b85e |
| Parent | 70be4acf |
| Child | 61df3cb9 |
Added by Pierre-Loïc Garoche about 2 years ago
Better production of trace files.
By default traces are not produced. Requires the option -t to produce them