diff options
| author | Paul Steckler | 2016-08-17 17:14:55 -0400 |
|---|---|---|
| committer | Paul Steckler | 2016-08-17 17:45:00 -0400 |
| commit | 982e239e2befe925410a08459053c7dc69c948a7 (patch) | |
| tree | 0a2fb48000de643bbee7cbcb9c46211ab24c829c /kernel/cemitcodes.ml | |
| parent | d1052e2d9e14684db1f86a9b419d388a8e70728c (diff) | |
In docs, fix command to reset Ltac profiling
Diffstat (limited to 'kernel/cemitcodes.ml')
0 files changed, 0 insertions, 0 deletions