diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2017-03-29 23:53:05 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2017-03-29 23:53:05 +0200 |
| commit | df78cb79c549c7dc02e2f19add28be3600d3565f (patch) | |
| tree | ceae3c7d39ca074fe74080b889cd60ebc0846378 /printing | |
| parent | f9e0f07d250fd4d468784b80cbb116f6ebfd5de5 (diff) | |
| parent | df1d4dc9c3808a811111e4cd9eeda328b51f20de (diff) | |
Merge PR#522: [coqide] Protect against size_allocate race in proofview.
Diffstat (limited to 'printing')
0 files changed, 0 insertions, 0 deletions