Update gitignore

jppelteret · Jun 14, 2022 · 7947187 · 7947187
1 parent 351d069
commit 7947187
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,3 +1,4 @@
 TODO.md
 doc/benchmarks/**
+docker/dealii-master-focal-root/**
 docker/dealii-weak_forms-dev/**