https://gitweb.dealii.org/ - dealii.git/commit

]> https://gitweb.dealii.org/ - dealii.git/commit

author	Timo Heister <timo.heister@gmail.com>
	Sun, 1 Mar 2020 17:54:59 +0000 (12:54 -0500)
committer	Timo Heister <timo.heister@gmail.com>
	Sun, 1 Mar 2020 17:56:07 +0000 (12:56 -0500)
commit	fdc5cc9e67d05f148abd1ad4ff2bd3315b0ed842
tree	6de6ccda8ce414d194a97c9e6d116318b18c8098	tree \| snapshot
parent	94bb746627b991ca92588a9e7bf52a37e2ac3cf8	commit \| diff

CI: Jenkins: set -x and set -e

This is useful when browsing the build log to see the executed command

Mirror of the development repository for deal.II

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.