]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #11041 from krishnakumarg1984/he_it_replace
authorWolfgang Bangerth <bangerth@colostate.edu>
Wed, 14 Oct 2020 01:58:15 +0000 (19:58 -0600)
committerGitHub <noreply@github.com>
Wed, 14 Oct 2020 01:58:15 +0000 (19:58 -0600)
commitf72b2636701c9dec187747f2bd8a595c61a1e9d3
treef989719a0afa11f5456206acde4c0df58efb1e01
parentd06926ff7abc68a4f3f9ffc85a3873d059a00570
parent854d14a5cc0facf202f66022061c730a373391f0
Merge pull request #11041 from krishnakumarg1984/he_it_replace

replaces the remaining occurences of 'he' with 'it'

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.