diff options
| author | Pierre-Marie Pédrot | 2020-03-31 21:53:51 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-03-31 21:53:51 +0200 |
| commit | e98e8a03cae984a10fddc8acbe8fd781d4608b24 (patch) | |
| tree | 69e9890126ce32c0c856a35661365b88d5a9d1ae /dev | |
| parent | ee82486472f39cbe4760a3e586d9efb152e85c24 (diff) | |
| parent | 7afd5e9fb7ba9e5fc41e41fd54eb90ee8cb13993 (diff) | |
Merge PR #11915: [proof] Split delayed and regular proof closing functions
Reviewed-by: Matafou
Ack-by: SkySkimmer
Reviewed-by: gares
Reviewed-by: ppedrot
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions