]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #5554 from adamqc/fix-base-name
authorDaniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Thu, 30 Nov 2017 08:09:17 +0000 (09:09 +0100)
committerGitHub <noreply@github.com>
Thu, 30 Nov 2017 08:09:17 +0000 (09:09 +0100)
commit0032a79654464a08f5a9d3815b0fda52a2cc5936
tree2236dad69f1870509718cf38cfd1cd2783a7d5bf
parentd28e7bcbb919500d9ae9c62cc54cb960ebf37761
parentad5bf603b06951acf8152b6c6eb7c5cc65b6ad05
Merge pull request #5554 from adamqc/fix-base-name

Fix bug in JobIdentifier::base_name.

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.