mantidproject/mantid — pull request #88 by peterfpeterson (2014-12-05 18:31:33+00:00)
Title: Revert "Use RelWithDbgInfo as default build type for build servers"

Reverts mantidproject/mantid#84