aboutsummaryrefslogtreecommitdiff
path: root/dev/tools/pre-commit
diff options
context:
space:
mode:
authorMaxime Dénès2018-03-29 13:50:50 +0200
committerMaxime Dénès2018-03-29 13:50:50 +0200
commitc0eedb5bdcb815132f404e19d6bf59730ae6e2df (patch)
tree8a1f9298ff3005f946be2580f490221fc6e89b73 /dev/tools/pre-commit
parent9fa5f99783848eff9e94887562464efe7d1e3fe8 (diff)
parent99eabe2ee6ba2ece346c2739bdf041077c724923 (diff)
Merge PR #7057: Sphinx Chapter 20: Type Classes
Diffstat (limited to 'dev/tools/pre-commit')
0 files changed, 0 insertions, 0 deletions