diff options
| author | Chantal Keller <Chantal.Keller@inria.fr> | 2020-07-20 15:39:45 +0200 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@inria.fr> | 2020-07-20 15:39:45 +0200 |
| commit | 8bb6ed60d9db8ebd29dae6fcce56cf56abfe26d7 (patch) | |
| tree | f9883f5a67dfdbea3dc001deaf6733c2dadf2958 /AUTHORS | |
| parent | fb324707f8d7c6b9d08e731bc7eaf8192d4fbdd6 (diff) | |
| parent | c8a696682fcbdc720d67eb8d93f2c0c5b5c03548 (diff) | |
| download | smtcoq-8bb6ed60d9db8ebd29dae6fcce56cf56abfe26d7.tar.gz smtcoq-8bb6ed60d9db8ebd29dae6fcce56cf56abfe26d7.zip | |
Merge branch 'master' of github.com:smtcoq/smtcoq into coq-8.10
Diffstat (limited to 'AUTHORS')
0 files changed, 0 insertions, 0 deletions