diff options
| author | Théo Zimmermann | 2020-05-13 23:36:19 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-05-13 23:36:19 +0200 |
| commit | d5be454490a7dfb20b7cfffe6c547a2d9ec5f5f1 (patch) | |
| tree | f7028c228cef77d9565f8a6d88cd44ab39002b7d /doc | |
| parent | b1617e188d71e8a27f2888b9e3106373170448d4 (diff) | |
Create a new file on conversion.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/sphinx/language/core/conversion.rst (renamed from doc/sphinx/language/cic.rst) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/doc/sphinx/language/cic.rst b/doc/sphinx/language/core/conversion.rst index 0f27b65107..0f27b65107 100644 --- a/doc/sphinx/language/cic.rst +++ b/doc/sphinx/language/core/conversion.rst |