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 /kernel/nativevalues.ml | |
| 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.
Diffstat (limited to 'kernel/nativevalues.ml')
0 files changed, 0 insertions, 0 deletions