mikestillman/practice2 — pull request #1 by tom111 (2012-12-16 02:56:16+00:00)
Title: fix doxygen indent issue

Hi Mike,
let's test this github pull request thingi... I found the issue with doxygen. We had a custom stylesheet that was outdated. Turns out that it looks and works just fine without it.

Cheers,
Thomas