]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #4764 from drwells/remove-unused-string
authorWolfgang Bangerth <bangerth@colostate.edu>
Thu, 10 Aug 2017 16:23:46 +0000 (10:23 -0600)
committerGitHub <noreply@github.com>
Thu, 10 Aug 2017 16:23:46 +0000 (10:23 -0600)
commit0442e34f1deb28f45d13202c870b38b8038037b9
treea1908cb5029e515b2a9c0ad189831eac78d5656b
parent9eadc2f26ddabb75ca3c6af5e0bbd13fedf15687
parenta03ce77cf5f6c7ef5908c8a7dc0d8790bd01f8b5
Merge pull request #4764 from drwells/remove-unused-string

Remove an unused std::string.

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.