diff options
author | Stephane Glondu <steph@glondu.net> | 2017-09-26 10:20:31 +0200 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2017-09-26 11:09:24 +0200 |
commit | 45d7383f95ce0528d756f712635df90456ab97dc (patch) | |
tree | a494ef46f2de2800e2526a1dafdf7036b76c4aa2 /test-suite/bugs/closed/HoTT_coq_010.v | |
parent | e9b64f65bc46bcf8afdceb88cc2db81f8faa84ba (diff) |
Update changelog and prepare upload to unstabledebian/8.6-5
Diffstat (limited to 'test-suite/bugs/closed/HoTT_coq_010.v')
0 files changed, 0 insertions, 0 deletions