dolfin-version1
Display the dolfin version number
Usage
dolfin-version
Releases
Unchanged in 7 releases since Debian 7 (Wheezy).
Display the dolfin version number
dolfin-version
Unchanged in 7 releases since Debian 7 (Wheezy).