diff options
| author | Gaëtan Gilbert | 2019-07-11 15:52:18 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-07-11 15:52:55 +0200 |
| commit | d6165297c45389cdd9675f49327bc5b54464974c (patch) | |
| tree | 7282426ec675f938d566183de4b8037fb5e1c602 /doc/plugin_tutorial/tuto2/_CoqProject | |
| parent | b424691372a61de64b8b9a8c94ef0c9cb61c7274 (diff) | |
Remove Stm.call_process_error_once
This is the identity function since 07abf9818a6b47bb2c2bd0a8201da9743a0c10b6
Diffstat (limited to 'doc/plugin_tutorial/tuto2/_CoqProject')
0 files changed, 0 insertions, 0 deletions