DOKK / manpages / debian 12 / dolfin-bin / dolfin-get-demos.1.en
DOLFIN-GET-DEMOS(1) General Commands Manual DOLFIN-GET-DEMOS(1)

dolfin-get-demos - install DOLFIN demos in user's home direcotry

dolfin-get-demos

dolfin-get-demos was written by Anders Logg <logg@chalmers.se>.