diff options
| author | Théo Zimmermann | 2020-05-01 13:17:37 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-05-01 13:17:37 +0200 |
| commit | 0478164e1f6d3e373d41763a8ad080fa9f82dbc5 (patch) | |
| tree | 7467d168900d2e15b4547c8841fae35fbfdabe63 /doc/sphinx/using | |
| parent | 80b3d6977d29933a5d583566612bd8d0834acad8 (diff) | |
| parent | 57734bc48a98c9dc08b1eebed94363e8c5c8a7b3 (diff) | |
| parent | 3d919e9d4d66925655812ddbd14f50ebfd995f28 (diff) | |
Extract two new files out of Gallina chapter.