zerovm/zerovm-docs — pull request #11 by mgeisler (2014-04-23 14:03:21+00:00)
Title: Use glossary directive

This uses the Sphinx `glossary` directive to get better markup for the glossary.