modified:   .gitignore
dorsal applies a patch over dolfin, commit it