stan-dev/stan — pull request #1021 by syclik (2014-09-09 18:57:17+00:00)
Title: removing compiled manual from the repository

Does nothing but removes the compiled manual from the branch.