Xi Ruoyao 6686ce732e 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.		2022-08-12 10:22:04 +08:00
..
applications	evolution: drop libgdata dependency	2022-08-09 18:54:14 +08:00
platform	gnome-shell: drop asciidoc dependency and related option	2022-08-12 10:22:04 +08:00
gnome.xml	more SVN prop clean up	2021-04-20 19:12:02 +08:00