diff options
| author | coqbot-app[bot] | 2020-08-25 10:15:26 +0000 |
|---|---|---|
| committer | GitHub | 2020-08-25 10:15:26 +0000 |
| commit | ae7e82a5873de2cc4fdbfd0d10e0fa3961146ffd (patch) | |
| tree | 8c5d71409f2f61b68cf5d1ff92a47381fca67528 /dev/ci/docker/bionic_coq/Dockerfile | |
| parent | bd4791ff350bef9dc45b42b2ae77769625644c4f (diff) | |
| parent | 76abadc18d964850e181e55bfdd55f7c32a3572e (diff) | |
Merge PR #12778: Merging is now possible with coqbot.
Reviewed-by: ejgallego
Diffstat (limited to 'dev/ci/docker/bionic_coq/Dockerfile')
0 files changed, 0 insertions, 0 deletions