diff options
| author | Théo Zimmermann | 2017-06-02 21:15:10 +0200 |
|---|---|---|
| committer | GitHub | 2017-06-02 21:15:10 +0200 |
| commit | 54cf593ec1c47ecd5a875714e8e0857707c72901 (patch) | |
| tree | d2379e3937fe601dbdf8c14ddd04e1d279ca5b69 | |
| parent | fa517c333aaa97a04364a1d41b12783cb66c0165 (diff) | |
Move README.ci to markdown
The file was already (mostly) following Markdown syntax so we just take advantage of this by moving to a .md extension.
| -rw-r--r-- | README.ci.md (renamed from README.ci) | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/README.ci b/README.ci.md index 43e1bd740d..9e25390d72 100644 --- a/README.ci +++ b/README.ci.md @@ -24,11 +24,11 @@ the latest Coq changes validated against your development? If so, keep reading! Getting Coq changes tested against your library is easy, all that you need to do is: -1.- Put you development in a public repository tracking coq trunk. -2.- Make sure that your development builds in less than 35 minutes. -3.- Submit a PR adding your development. -4.- ? -5.- Profit! Your library is now part of Coq's continous integration! +1. Put you development in a public repository tracking coq trunk. +2. Make sure that your development builds in less than 35 minutes. +3. Submit a PR adding your development. +4. ? +5. Profit! Your library is now part of Coq's continous integration! Note that by partipating in this program, you assume a reasonable compromise to discuss and eventually integrate compatibility changes |