dealii/dealii — pull request #75 by luca-heltai (2014-08-08 21:09:16+00:00)
Title: Removed release builds.

This closes #71

The Release runs time out on Travis.org almost 80% of the times...

This fix removes Release builds from Travis CI.