Timestamp:
08/12/2022 02:22:04 AM (21 months ago)
Author:
Xi Ruoyao <xry111@…>
Branches:
11.2, 11.3, 12.0, 12.1, kea, ken/TL2024, ken/inkscape-core-mods, ken/tuningfonts, lazarus, lxqt, plabs/newcss, plabs/python-mods, python3.11, qt5new, rahul/power-profiles-daemon, renodr/vulkan-addition, trunk, xry111/llvm18, xry111/soup3, xry111/xf86-video-removal
Children:
6d237be
Parents:
5f729f8
Message:

gnome-shell: drop asciidoc dependency and related option

The release tarball contains generated man pages since gnome-shell-40 so
asciidoc is not a dependency unless you'll build gnome-shell from git
snapshot. And, the option has been renamed to "extensions_tool" and we
don't have any strong reason to use it now.

(No files)

Note: See TracChangeset for help on using the changeset viewer.