diff options
author | Carlos Soriano <csoriano@gnome.org> | 2015-02-18 20:55:18 +0100 |
---|---|---|
committer | Florian Müllner <fmuellner@gnome.org> | 2015-02-20 15:14:44 +0100 |
commit | e71b0a57fb2912ee2d5002abe16d01465c14cfde (patch) | |
tree | 9801a6a2dd3ef5ab45d2bc6ac71aa76a2290992a /docs | |
parent | 333becef45d58be20ea0b9d4404c2c382a9db117 (diff) | |
download | gnome-shell-e71b0a57fb2912ee2d5002abe16d01465c14cfde.tar.gz |
remove shell-slicer
In last commit we remove the only use of shell-slicer, so we can remove
this as well
Diffstat (limited to 'docs')
-rw-r--r-- | docs/reference/shell/shell-docs.sgml.in | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/docs/reference/shell/shell-docs.sgml.in b/docs/reference/shell/shell-docs.sgml.in index 9310c6e05..bfbdb56c6 100644 --- a/docs/reference/shell/shell-docs.sgml.in +++ b/docs/reference/shell/shell-docs.sgml.in @@ -17,7 +17,6 @@ <chapter> <title>Actors</title> <xi:include href="xml/shell-generic-container.xml"/> - <xi:include href="xml/shell-slicer.xml"/> <xi:include href="xml/shell-stack.xml"/> </chapter> <chapter> |