]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #10451 from tjhei/taskflow-rename-without-cpp
authorPeter Munch <peterrmuench@gmail.com>
Thu, 4 Jun 2020 20:02:09 +0000 (22:02 +0200)
committerGitHub <noreply@github.com>
Thu, 4 Jun 2020 20:02:09 +0000 (22:02 +0200)
commit8c2c0bcf4cfd78882f91ba43d80062db9c9138d0
tree075665f9869c4fc85d1fc59f05372aa044c91c05
parent3bc14467e1d81c65ea395eddbc5166bf2dce585b
parentcfd3716ea267e66f65385f518f714ebacd41bbd3
Merge pull request #10451 from tjhei/taskflow-rename-without-cpp

rename cpp-taskflow to taskflow

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.