]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #4518 from luca-heltai/string-delimiter-in-split-string
authorLuca Heltai <luca.heltai@sissa.it>
Wed, 14 Jun 2017 16:09:37 +0000 (18:09 +0200)
committerGitHub <noreply@github.com>
Wed, 14 Jun 2017 16:09:37 +0000 (18:09 +0200)
commitd0b912d2375aee511d861429ec852ddd9921f674
treeb276be90f3dfd0844f6f906aff6effc472a1bcad
parenta479001b068e8add0f7b479bdf79cef1fad9530e
parent74e65cc0c578ebd50e487d2bccfe52ca736b1e61
Merge pull request #4518 from luca-heltai/string-delimiter-in-split-string

Added split_string_list with string as separator.

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.