diff options
| author | Enrico Tassi | 2013-12-20 18:02:27 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2014-01-04 17:07:15 +0100 |
| commit | ba2d8da59c9502bb892179223b4b2f39a41c09c2 (patch) | |
| tree | 468c0165e0101516c5e5ef43d92542d79b759a6b /lib | |
| parent | 96dcc98b499a5c6ad3d327046825a8728a11e56e (diff) | |
STM: record in aux file proof build and check time
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions