diff options
| author | Théo Zimmermann | 2018-11-20 14:53:28 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2018-11-24 13:16:00 +0100 |
| commit | ae7ee8060309c6568c441140d160dd09253e8cb1 (patch) | |
| tree | 8e4c03a89956903a0d8413d75cab6440dfb7c68e /dev/ci/README-users.md | |
| parent | c8dd2b51e413ae1522b6278e36b5e56e0f9a5585 (diff) | |
Apply suggestions from code review
Thanks to @Zimmi48 as always for the careful review.
Co-Authored-By: ejgallego <e+git@x80.org>
Diffstat (limited to 'dev/ci/README-users.md')
| -rw-r--r-- | dev/ci/README-users.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev/ci/README-users.md b/dev/ci/README-users.md index f606f43fd5..01769aeddb 100644 --- a/dev/ci/README-users.md +++ b/dev/ci/README-users.md @@ -76,7 +76,7 @@ developer commands work more seamlessly. ### Supported CI images for Coq -The Coq developers and contributors do provide official Docker and Nix +The Coq developers and contributors provide official Docker and Nix images for testing against Coq master. Using these images is highly recommended: |