diff options
| author | coqbot-app[bot] | 2020-12-13 19:04:06 +0000 |
|---|---|---|
| committer | GitHub | 2020-12-13 19:04:06 +0000 |
| commit | a819eeed1770f393577e6df42220cba25787887d (patch) | |
| tree | 4ceccb35ead0a1b2ed55611d8aba2ada4425f9f9 /dev/ci/ci-basic-overlay.sh | |
| parent | 81d0936c1ac8a537b5d8083933bce607e55ff28f (diff) | |
| parent | b6682484477d5ecb506c057cc2a9fe4ed883e22c (diff) | |
Merge PR #13619: doc: Clarify the status of simpl vs cbn
Reviewed-by: Zimmi48
Diffstat (limited to 'dev/ci/ci-basic-overlay.sh')
0 files changed, 0 insertions, 0 deletions