diff options
| author | Maxime Dénès | 2019-04-29 17:44:54 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2019-04-29 17:44:54 +0200 |
| commit | 61a1b4c46e4584e9337f9298b5f0053858a03c93 (patch) | |
| tree | c1bfee92996c448d0c65e3b9c0941cc53f58466b /doc/plugin_tutorial/tuto3 | |
| parent | 05c5c3ab8e52ebe43179975b42142f2646b0479e (diff) | |
| parent | 7fd23f30ef6c52aabc8d1084171d906e1080f3f2 (diff) | |
Merge PR #9646: [proof] Fix proof bullet error helper which was implemented as a hook
Ack-by: SkySkimmer
Reviewed-by: Zimmi48
Ack-by: ejgallego
Diffstat (limited to 'doc/plugin_tutorial/tuto3')
0 files changed, 0 insertions, 0 deletions