deal.II: updated git tag/checkout version string to master for current developer...

diff --git a/deal.II/packages/dealii.package b/deal.II/packages/dealii.package
index 874bef4caf0470b1ec9a93790b4205cc63a84e64..164305a8b983e3662452529a5627913f4df1d071 100644 (file)
--- 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/