diff options
| author | Maxime Dénès | 2019-09-04 13:38:11 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2019-09-04 13:43:12 +0200 |
| commit | dacd521dbbcb504995b9c7557ebbf2195cee1629 (patch) | |
| tree | e830fb16f2d1efc220cc546902ddbe74a67e5a14 /dev/ci/docker/bionic_coq | |
| parent | f5d89508c432e3eec8bcf46e0138a52229c99efe (diff) | |
Remove commented-out code
Diffstat (limited to 'dev/ci/docker/bionic_coq')
0 files changed, 0 insertions, 0 deletions