]> https://gitweb.dealii.org/ - dealii.git/commit
projects / dealii.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eebfb45) | patch
Rearrange .gitattribes and add a filter=output attribute to output files 11383/head
authorMatthias Maier <tamiko@43-1.org>
Wed, 16 Dec 2020 18:06:57 +0000 (12:06 -0600)
committerMatthias Maier <tamiko@43-1.org>
Fri, 5 Feb 2021 07:52:59 +0000 (01:52 -0600)
commit2707dcb8855fcfeae82dda55aecc2b8baf310977
treeb53d0209c94d0e2fa0f0bd155a4d1acb5a2251d0tree | snapshot
parenteebfb45674f2950ebcf8fd24bd07405b5cb6dc41commit | diff
Rearrange .gitattribes and add a filter=output attribute to output files

This change alone does nothing but helps to set up custom smudge/clean
filters for all of our output files

In reference to #11375
.gitattributes diff | blob | history
Mirror of the development repository for deal.II

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.