diff options
| author | coqbot-app[bot] | 2021-04-23 13:41:43 +0000 |
|---|---|---|
| committer | GitHub | 2021-04-23 13:41:43 +0000 |
| commit | 7e576aef5b41837c7faa72a5525ee41bec02babb (patch) | |
| tree | 1d06523f9b0805426fcf2217c6cbe79a9841664f /pretyping/evarconv.ml | |
| parent | d758cc5bb19d7abfcce13d2c26b5ae1c0fc1a439 (diff) | |
| parent | 7e0c8172703111a026477cf704f50af9468f8f0a (diff) | |
Merge PR #14161: test-suite: add approve-coqdoc to update all coqdoc output files at once
Reviewed-by: SkySkimmer
Diffstat (limited to 'pretyping/evarconv.ml')
0 files changed, 0 insertions, 0 deletions