diff options
| author | Théo Zimmermann | 2019-05-08 20:57:12 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2019-05-08 20:57:12 +0200 |
| commit | 60e976a627b213445443952342a8eec7193d9b85 (patch) | |
| tree | 448605e15182fc2915a16b20691579af6cf77344 /vernac/comProgramFixpoint.ml | |
| parent | 963b950f201614078a432d1ac7568e8757d8df19 (diff) | |
Update release process documentation and changelog entry.
Diffstat (limited to 'vernac/comProgramFixpoint.ml')
0 files changed, 0 insertions, 0 deletions