diff options
| author | Jason Gross | 2020-05-02 13:25:43 -0400 |
|---|---|---|
| committer | Jason Gross | 2020-05-02 13:25:43 -0400 |
| commit | 9b937b6f53c5e97faa5c7949e6032837f8708761 (patch) | |
| tree | a21812c8e0e4af53bab6a71cd68f22b8addbdc4f /doc/plugin_tutorial/tuto2 | |
| parent | 206e8adedae1b0c479a2cb598510163f909f1a5f (diff) | |
Move tclWRAPFINALLY to profile_ltac
As per https://github.com/coq/coq/pull/12197#discussion_r418480525 and
https://gitter.im/coq/coq?at=5ead5c35347bd616304e83ef
Diffstat (limited to 'doc/plugin_tutorial/tuto2')
0 files changed, 0 insertions, 0 deletions