richfaces/richfaces-docs — pull request #3 by jhuska (2013-05-21 18:08:54+00:00)
Title: Developer guide: asciidoctor plugin commented out

it is not needed currently