LaTeX: rename `\sphinxnotetitle` into `\sphinxstylenotetitle` (etc) #6957

Sign in to view logs

Triggered via pull request March 27, 2023 13:22

jfbu

opened #11267

jfbu:latex_usesphinxstyleprefix

Status Success

Total duration 5m 38s

Artifacts –

main.yml

on: pull_request

Matrix: ubuntu