diff options
| author | Arnaud Spiwack | 2014-08-05 18:14:01 +0200 |
|---|---|---|
| committer | Arnaud Spiwack | 2014-11-01 22:43:57 +0100 |
| commit | 8d319af706e539be07445f28b9dec554e34f9ce7 (patch) | |
| tree | 7c4084288b467ac3f856bf24175a23d8995cce0e /stm | |
| parent | f5577e1ca7d7fa1424d0001377a3b2a10af7243b (diff) | |
Info: Ltac's idtac logs its message in the info trace.
Diffstat (limited to 'stm')
0 files changed, 0 insertions, 0 deletions