diff --git a/.gitignore b/.gitignore index 785af8134bac19d68ff84dcdc16eb277eb9ba6db..60254e8e46c13fbd60299bfa2ff82ca2ad697f5a 100644 --- a/.gitignore +++ b/.gitignore @@ -13,3 +13,4 @@ build/ *.pdf *.fls *.log +*.xdv