diff options
| author | Théo Zimmermann | 2020-06-05 15:14:48 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-06-05 15:14:48 +0200 |
| commit | b6c940346123ea9f4e28845436a274c92c9baae6 (patch) | |
| tree | 6067d2471ea1db21abba690ae847130749cd57bb /doc/plugin_tutorial/tuto3/src/dune | |
| parent | db768e6828af62e06eb03d36509be6f8fc1efbf3 (diff) | |
Document incompatibility with Sphinx 3.
Cf. #12332
Diffstat (limited to 'doc/plugin_tutorial/tuto3/src/dune')
0 files changed, 0 insertions, 0 deletions