aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2023-01-09 06:22:04 +0100
committerJohannes Ranke <jranke@uni-bremen.de>2023-01-09 06:22:04 +0100
commit24eb77216700cf8b2f2bde3abad84c1f83f9e32a (patch)
tree1fecd5557499ea0e5d9a651f3a27fc602c0431cc /.gitignore
parenta5903e74d9cf54c764d5bbc48e461cecd5f56e72 (diff)
Prebuilt PDF vignettes, summary_listing
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore4
1 files changed, 4 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index a86197a1..5bec45e6 100644
--- a/.gitignore
+++ b/.gitignore
@@ -28,3 +28,7 @@ vignettes/cache/
vignettes/figure/
vignettes/*_cache/
vignettes/*_files/
+vignettes/prebuilt/*_cache
+vignettes/prebuilt/*_files
+vignettes/prebuilt/*_dlls
+vignettes/prebuilt/*.pdf

Contact - Imprint