]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #15973 from bangerth/script
authorDavid Wells <drwells@email.unc.edu>
Fri, 8 Sep 2023 16:14:50 +0000 (12:14 -0400)
committerGitHub <noreply@github.com>
Fri, 8 Sep 2023 16:14:50 +0000 (12:14 -0400)
commit635db9a99c31fd663a896555d8d1d162f35bbe75
tree312e04208f35306ec33f5eadbf5ac8cdb8a3d319
parentdb3d57382dbf8dd8bb9b5ff62864bc25936979b3
parent12a3bcdae4e2d59decfa7d69eb9f1c5786d3b13b
Merge pull request #15973 from bangerth/script

Update 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.