]> https://gitweb.dealii.org/ - candi.git/commit
Merge pull request #247 from tjhei/enable-zsh
authorUwe Köcher <mail@uwe.koecher.cc>
Tue, 27 Jul 2021 07:55:58 +0000 (09:55 +0200)
committerGitHub <noreply@github.com>
Tue, 27 Jul 2021 07:55:58 +0000 (09:55 +0200)
commitfc305e2e1c1e44ecbe22202de3a027ad8fce5f64
tree4ff7506e0016589121cd9c1f5871be5e6628800a
parentaf9fff2d175f151d4dadcd4d9f39f9507c00a0fc
parent63d04ae23980bd5f17aad63116a3f18040c67858
Merge pull request #247 from tjhei/enable-zsh

fix enable.sh for zsh

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.