-
Ben Gamari authored
Apparently the override argument to add_directive_to_domain was added in sphinx 1.8. (cherry picked from commit a257782f)
af0bf169
Apparently the override argument to add_directive_to_domain was added in sphinx 1.8. (cherry picked from commit a257782f)