Merge pull request #4274 from petrfelzmann/doc-bullets-formatting
authorKevin Sawicki <kevin@github.com>
Fri, 29 Jan 2016 21:08:13 +0000 (13:08 -0800)
committerKevin Sawicki <kevin@github.com>
Fri, 29 Jan 2016 21:08:13 +0000 (13:08 -0800)
fix bullets formatting in documentation


Trivial merge