Tags

Tags give the ability to mark specific points in history as being important

v2.5.0

6f09eb44 · dune.module: prepare for 2.5.0 release · Aug 29, 2017
```
dune-grid-glue 2.5.0
```
Unverified
v2.4.0

31b4338f · Add explicit dependency on dune-geometry · Jan 20, 2016
```
dune-grid-glue v2.4.0
```
Unverified
v2.3.1

dd7b90e6 · Add COPYING file with list of copyright holders, and the licensing options · Oct 06, 2014
```
Release v2.3.1

Containing various build-system-related fixes (and a COPYING file),
thanks to Ansgar Burchardt.
```
Unverified

7e21b531 · Set module version to 2.3.0 · Oct 04, 2014

First (and possibly only) release in the 2.3 series

This is the version that is supposed to go into Debian Jessie.