mirror of
https://github.com/sphinx-doc/sphinx.git
synced 2025-02-25 18:55:22 -06:00
parent
85966c0986
commit
3596590317
@ -10,7 +10,7 @@
|
||||
% The aim of this stub is to do that replacement silently.
|
||||
|
||||
% change this info string if making any custom modification
|
||||
\ProvidesPackage{sphinxpackagesubstitutefont}[2023/15/11 v7.3.0 advanced colored boxes]
|
||||
\ProvidesPackage{sphinxpackagesubstitutefont}[2023/15/11 v7.3.0 substitutefont stub]
|
||||
|
||||
\ifdefined\DeclareFontFamilySubstitution
|
||||
\def\substitutefont{\DeclareFontFamilySubstitution}
|
||||
|
Loading…
Reference in New Issue
Block a user