From: Uwe Köcher Date: Fri, 5 Jun 2015 13:42:04 +0000 (+0200) Subject: Merge pull request #1 from Rombur/ubuntu_15_04 X-Git-Tag: v0.5~14 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a8f5e85a42555d7b4f95e3757141e471ac221f8f;p=candi.git Merge pull request #1 from Rombur/ubuntu_15_04 Add support for ubuntu 15.04 --- a8f5e85a42555d7b4f95e3757141e471ac221f8f