ariatemplates/usermanual — pull request #4 by benouat (2012-07-06 14:40:15+00:00)
Title: Pushing new extract of the documentation

I have run an extract of the mediawiki DB
I am also pushing some fixes to the mw2md extractor