]> https://gitweb.dealii.org/ - dealii.git/commitdiff
projects / dealii.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 322100a)
add an entry to .gitignore
authorMatthias Maier <tamiko@43-1.org>
Wed, 16 May 2018 19:56:00 +0000 (14:56 -0500)
committerMatthias Maier <tamiko@43-1.org>
Wed, 16 May 2018 19:56:00 +0000 (14:56 -0500)
.gitignore patch | blob | history

diff --git a/.gitignore b/.gitignore
index eb3f61dcad5a3fd1ecbe30d6db7a44c240a35a5b..ae2d0280db465efbd5834b68d10d903530b3af9b 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -11,6 +11,7 @@
 # misc
 /compile_commands.json
 /.clang_complete
+/contrib/utilities/programs
 
 # emacs temporary and backup files
 *~
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.