]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #4631 from bangerth/delete-copy-operators
authorBruno Turcksin <bruno.turcksin@gmail.com>
Thu, 20 Jul 2017 01:35:33 +0000 (21:35 -0400)
committerGitHub <noreply@github.com>
Thu, 20 Jul 2017 01:35:33 +0000 (21:35 -0400)
commitb0f108d87195906f684f044808593f65e7d81ecc
treef4289036b137679f57653c4c782a23c1fd46eb0e
parentfeda5e5a51cd4b2a94cda2f8e215d5364d6fdd15
parentdc84bc3712349c670f7cfadeb0e470033255835f
Merge pull request #4631 from bangerth/delete-copy-operators

Mark copy operators as explicitly deleted.

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.