diff options
| author | Théo Zimmermann | 2021-04-16 12:10:45 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2021-04-16 12:10:45 +0200 |
| commit | ed4a399cd7d7738c920aafabff749c742ef1ebc8 (patch) | |
| tree | ce3ec249d6fc03d3a3c2707677b4aee4e5756c5e /dev/ci/docker/bionic_coq/Dockerfile | |
| parent | faafe565b942736acc940c8374914fe0284b0b3d (diff) | |
Remove macOS dmg build.
Now that the platform takes care of it.
Diffstat (limited to 'dev/ci/docker/bionic_coq/Dockerfile')
0 files changed, 0 insertions, 0 deletions