Fix bug #11: do not index edit, delete and tool pages
authorChristian Weiske <cweiske@cweiske.de>
Fri, 7 Sep 2012 22:19:52 +0000 (00:19 +0200)
committerChristian Weiske <cweiske@cweiske.de>
Fri, 7 Sep 2012 22:19:52 +0000 (00:19 +0200)

No differences found