diff options
| author | Théo Zimmermann | 2020-05-14 11:06:11 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-05-14 11:06:11 +0200 |
| commit | 1d7da1993647115faabf71fc689c2a9861b810b7 (patch) | |
| tree | 0c07b80c5d978259a5aaaa99de6196ae6c9ce1e8 /doc/sphinx/language/extensions | |
| parent | 29d8803b5746daa4977f4f47179df4957668fb2d (diff) | |
| parent | 5795e230c55146e48742e793ada11a242a49a422 (diff) | |
| parent | 8a35af641d92d7a65e35a3838f9cbbef4e2b2c8b (diff) | |
| parent | e67bee453eeb375831919c9a6ca3f5f3a8202bcc (diff) | |
Split Gallina extensions into multiple files.