]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #7166 from drwells/add-more-gitignore
authorMatthias Maier <tamiko@43-1.org>
Sat, 8 Sep 2018 15:01:42 +0000 (10:01 -0500)
committerGitHub <noreply@github.com>
Sat, 8 Sep 2018 15:01:42 +0000 (10:01 -0500)
commit2324382f1fba1c537e97c803f6d2ea310b4b680d
tree8bcf2914fd6545791c039ce1a9cf45b98d008f90
parent3dc61072f12d097401a8b7080eb0bb39ec8ab22f
parent9f7251bd3469081767322dcde41239781b611f4f
Merge pull request #7166 from drwells/add-more-gitignore

Add some more entries to .gitignore.

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.