]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #7834 from luca-heltai/extractor-names
authorJean-Paul Pelteret <jppelteret@gmail.com>
Sat, 23 Mar 2019 00:15:42 +0000 (01:15 +0100)
committerGitHub <noreply@github.com>
Sat, 23 Mar 2019 00:15:42 +0000 (01:15 +0100)
commitd6b292f8d0a42b56b187b6371af5aa7d64e0f45d
tree146c9b758a60d70f915f3111da865fcb7bbfd4d1
parent1fa4f9a489e4444ed4af9317480ca9664b9de000
parent84d4a8d2ab2461cbc2a18ae0f06002dc59dccb02
Merge pull request #7834 from luca-heltai/extractor-names

Added get_names to Extractors.

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.