Skip to content
Snippets Groups Projects
Commit 0519c5e1 authored by Pierre Courtieu's avatar Pierre Courtieu
Browse files

Merge branch 'coq-8.16' for coq-8.20 compatibility.

parents 2c38510a 9d7d3d3c
No related branches found
No related tags found
Loading
Showing
with 161 additions and 90 deletions
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment