diff options
| author | Théo Zimmermann | 2019-02-18 19:51:57 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2019-02-18 19:51:57 +0100 |
| commit | 7c62153610f54a96cdded0455af0fff7ff91a53a (patch) | |
| tree | 2633a2162326439e990f9ab7cf9d7259a6358ddf /Makefile.dev | |
| parent | a4a59ec5cf426bb1ee36dc1ac49cb20bd17d5f43 (diff) | |
| parent | 0a465063a5501d9a84088fff8b1c8a62f63feec3 (diff) | |
Merge PR #9568: Add test that we regenerated doc/sphinx/README.rst to linter
Reviewed-by: Zimmi48
Reviewed-by: ejgallego
Diffstat (limited to 'Makefile.dev')
0 files changed, 0 insertions, 0 deletions