Skip to content

Commit 5262944

Browse files
committed
update .gitignore
1 parent 5995745 commit 5262944

1 file changed

Lines changed: 4 additions & 0 deletions

File tree

.gitignore

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -28,3 +28,7 @@ tmpinst/
2828

2929
CMakeFiles/
3030
build/
31+
32+
doc/html/*
33+
doc/_/*
34+
cov-int/**

0 commit comments

Comments
 (0)