commit | cbb6484573ae2058e55614b28d73b0c8478f9a70 | [log] [tgz] |
---|---|---|
author | Stéphane Wirtel <stephane@wirtel.be> | Fri May 17 11:55:34 2019 +0200 |
committer | Kushal Das <mail@kushaldas.in> | Fri May 17 15:25:34 2019 +0530 |
tree | 2279089fb2343dd0a23262c8f69a30cf6e56bce6 | |
parent | fed02e15b39b6f1521ea21654be5fc0757a8720a [diff] |
Doc: Replace the deprecated highlightlang directive by highlight. (#13377) highlightlang is deprecated since April 2018 in Sphinx. See https://github.com/sphinx-doc/sphinx/pull/4845