collective/collective.developermanual — pull request #149 by muellert (2012-11-21 18:19:15+00:00)
Title: manual did not compile

my commit fixes it