diff options
| author | Théo Zimmermann | 2020-05-14 11:01:48 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-05-14 11:02:03 +0200 |
| commit | 9442039260ee16f5e17865815d6c6e9c66c1689b (patch) | |
| tree | 295137eed28eae8e6152c82221636eb7c1b31f7c /doc/plugin_tutorial | |
| parent | 03b7ad861ca1fe1f3fdb2055f5e20c4a4b425f8e (diff) | |
| parent | fb2f3df0f0d2d4e4fcbcf091d337700df4007d37 (diff) | |
| parent | 1e04e6de348160cf40292184cfafed459a9219d7 (diff) | |
| parent | b1a6cb519fe11a4ab4b6d248235e5fa5af8062b9 (diff) | |
Split Gallina into multiple files.