aarddict/tools — pull request #26 by sklart (2013-03-19 15:05:12+00:00)
Title: Update aardtools.rst

fix command for blahtexml installing