wbhart/flint2 — pull request #7 by schulze (2013-06-25 10:35:51+00:00)
Title: Trunk

Some small documentation fixes.