opf/openproject — pull request #52 by GarstgerUnhold (2013-03-15 16:16:35+00:00)
Title: pull in changes from numbered_headings plugin

This Pull request should probably not be merged 'til https://www.openproject.org/issues/344 has been adressed.