]> https://gitweb.dealii.org/ - candi.git/commitdiff
projects / candi.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: f4cc912)
Remove candi dirs from .gitignore 206/head
authorFabian Castelli <fabian.castelli@kit.edu>
Fri, 25 Jun 2021 12:09:25 +0000 (14:09 +0200)
committerFabian Castelli <fabian.castelli@kit.edu>
Fri, 25 Jun 2021 12:09:25 +0000 (14:09 +0200)
.gitignore patch | blob | history

diff --git a/.gitignore b/.gitignore
index 977bed424ff38ce5f85b9d1cd613ed37301ca63b..4d1798b128ea874ca52c3198bbe920a71590214f 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -1,8 +1,3 @@
-# candi/tmp directories
-/src/
-/deal.II-toolchain-build/
-/deal.II-toolchain-unpack/
-
 # eclipse
 /.cproject
 /.project
Mirror of the development repository for candi

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.