mirrors/emacs
1
Fork 0
mirror of git://git.sv.gnu.org/emacs.git synced 2026-04-06 14:22:31 -07:00
Code Issues Projects Releases Wiki Activity

Merging branch/2024-11-26/fix-manual-build for github pull request <https://github.com/ravenbrook/mps/pull/297>

Browse source 
Removing use of deprecated alias of VersionChange

GitHub-reference: https://github.com/Ravenbrook/mps/issues/297
This commit is contained in:
Richard Brooksby 2024-11-27 13:14:49 +00:00 • committed by GitHub
commit ed60d9d003
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
mps/manual/source/extensions/mps/__init__.py
View file

@ -12,7 +12,7 @@ from docutils import nodes, transforms
from docutils.parsers.rst import Directive
from docutils.parsers.rst.directives.admonitions import BaseAdmonition
from sphinx import addnodes
from sphinx.directives.other import VersionChange
from sphinx.domains.changeset import VersionChange
from sphinx.domains import Domain
from sphinx.domains.changeset import versionlabels
from sphinx.locale import admonitionlabels