diff options
| author | Clément Pit-Claudel | 2018-09-12 19:20:32 -0400 |
|---|---|---|
| committer | Théo Zimmermann | 2018-09-20 10:12:55 +0200 |
| commit | 31ac5a2ec8eb71b0bf31c7a5d046f9a9bc366f2e (patch) | |
| tree | a797f70da7931f4b0df550a3817484904173b50e /Makefile.doc | |
| parent | 3eebeb6d39340a6e9feabce567f688df0e7270a6 (diff) | |
[doc] Replace app.info (deprecated in Sphinx 8.0) with logger.info
Diffstat (limited to 'Makefile.doc')
0 files changed, 0 insertions, 0 deletions