]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #8436 from bangerth/add-note
authorDavid Wells <drwells@email.unc.edu>
Wed, 31 Jul 2019 01:30:46 +0000 (21:30 -0400)
committerGitHub <noreply@github.com>
Wed, 31 Jul 2019 01:30:46 +0000 (21:30 -0400)
commit6b8d5a90c5705358da0ddd06e6d836320321ace6
treececb61237e93a5305d6ac66515f9bd221da5262b
parent839ded2d4c6359b91b97bc021d8b6e02bd3c60ee
parent89c91bf9a04b522dfa102e05d4015155d2575263
Merge pull request #8436 from bangerth/add-note

Add a note to the count_lines.sh script.

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.