diff options
| author | Emilio Jesus Gallego Arias | 2018-12-17 11:55:51 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2018-12-17 11:55:51 +0100 |
| commit | 854d3e1b404fb3ee9087ffb07cbba7cc9196c1f9 (patch) | |
| tree | 107a22e58dcf0fb492a30561b340c9f033de3990 /dev/build | |
| parent | 6095ef4d0aac719776dcc949591d1413cf2a5354 (diff) | |
| parent | a9e87e0b25cf11192d11da4499c3c3122f11a0c4 (diff) | |
Merge PR #9206: [stm] join the tip of the document even when fixing a proof (fix #9204)
Diffstat (limited to 'dev/build')
0 files changed, 0 insertions, 0 deletions