stan-dev/stan — pull request #1091 by syclik (2014-10-20 18:51:46+00:00)
Title: Removes built doc for v2.5.0

Removes the doxygen doc and stan manual from the repository. Nothing else.