Provided by: dolfin-bin_2019.1.0-10build2_all bug

NAME

       dolfin-version - display the DOLFIN version number

SYNOPSIS

       dolfin-version

BUGS

       Send comments, questions, bug reports etc. to dolfin@lists.launchpad.net.

AUTHOR

       dolfin-version was written by Johan Hake <johan.hake@gmail.com>.

                                                                                DOLFIN-VERSION(1)