diff options
| author | Clément Pit-Claudel | 2020-05-20 17:18:09 -0400 |
|---|---|---|
| committer | Théo Zimmermann | 2020-06-05 13:14:54 +0200 |
| commit | 73d400a5f7dafb448aaae188dba048064456945c (patch) | |
| tree | bc6e1fc36ef83529610240e4f59056d76291f2b6 /dev/tools/pre-commit | |
| parent | 51b13ded7db9d0f729fb7ff88cf018528ec0fda4 (diff) | |
[sphinx] Fix #12361
Diffstat (limited to 'dev/tools/pre-commit')
0 files changed, 0 insertions, 0 deletions