From 40c72436e12e08cb9997602d053bbf09b31fefaf Mon Sep 17 00:00:00 2001 From: =?utf8?q?Uwe=20K=C3=B6cher?= Date: Thu, 28 May 2015 23:55:28 +0200 Subject: [PATCH] deal.II: updated git tag/checkout version string to master for current developer version (unstable build) --- deal.II/packages/dealii.package | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deal.II/packages/dealii.package b/deal.II/packages/dealii.package index 874bef4..164305a 100644 --- a/deal.II/packages/dealii.package +++ b/deal.II/packages/dealii.package @@ -1,4 +1,4 @@ -VERSION=git +VERSION=master NAME=dealii.git EXTRACTSTO=deal.II-${VERSION} SOURCE=https://github.com/dealii/ -- 2.39.5