diff options
| author | Théo Zimmermann | 2020-05-01 13:13:05 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-05-01 13:13:05 +0200 |
| commit | 57734bc48a98c9dc08b1eebed94363e8c5c8a7b3 (patch) | |
| tree | ae969976c394028e17b2353d219953262baa6556 | |
| parent | 3762e15a4a5380e03b7d0e8d6bd451ce3bf9125d (diff) | |
Create section on writing libraries with only deprecated attributes.
| -rw-r--r-- | doc/sphinx/using/libraries/writing.rst (renamed from doc/sphinx/language/gallina-specification-language.rst) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/doc/sphinx/language/gallina-specification-language.rst b/doc/sphinx/using/libraries/writing.rst index 91634ea023..91634ea023 100644 --- a/doc/sphinx/language/gallina-specification-language.rst +++ b/doc/sphinx/using/libraries/writing.rst |