diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2021-06-02 18:32:24 +0200 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2021-06-02 18:32:24 +0200 |
commit | 6a209bbc1bf5c90adb5f576093129fc62ce84780 (patch) | |
tree | af0db7d79d4e2ecb4443c54a6f4e50da1d88378f /src/Makefile | |
parent | b40fefbb52afbc7deaa0b591d155bf2e84d0afba (diff) | |
parent | efb1a48817405c6ad894d2088077f70c3d7eb15b (diff) | |
download | smtcoq-6a209bbc1bf5c90adb5f576093129fc62ce84780.tar.gz smtcoq-6a209bbc1bf5c90adb5f576093129fc62ce84780.zip |
Merge remote-tracking branch 'remotes/origin/master' into coq-8.10
Diffstat (limited to 'src/Makefile')
0 files changed, 0 insertions, 0 deletions