-
David Frank authored
Some styling choises of our in-code documentation just doesn't looks nice in the output of the docs. Here, I've mostly fixed the '@author' tag. Instead of having each author in their own tag, just have the tag and then a list starting in the next line.
83ae8d45