dolfin-get-demos1
Install dolfin demos in user's home direcotry
Usage
dolfin-get-demos
Releases
Unchanged in 6 releases since Debian 8 (Jessie).