Skip to content

Commit 381cebe

Browse files
committed
Remove old ignore file
The docs are generated under the build directory, these days.
1 parent 9d7b8de commit 381cebe

File tree

1 file changed

+0
-22
lines changed

1 file changed

+0
-22
lines changed

doc/.gitignore

Lines changed: 0 additions & 22 deletions
This file was deleted.

0 commit comments

Comments
 (0)