diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2017-04-10 09:47:23 +0200 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2017-04-10 09:47:55 +0200 |
| commit | 64962aecb6be1839390c12cf83846acf8e0ea831 (patch) | |
| tree | 8c2f22bd5a13b97c83b6561684907168b9df2279 | |
| parent | 813eacf81b7359906bbcf3d926b411415200362c (diff) | |
| parent | 9eaf7189d80552130aa2c9981706180d29638bb9 (diff) | |
Merge #10166: Ignore Doxyfile generated from Doxyfile.in template.
9eaf718 Ignore Doxyfile generated from Doxyfile.in template. (Pavel JanÃk)
Tree-SHA512: 03d6d0fb4a708d9e41ada8b6d3d277f8c66abc2f07081629ac81ed90a3e5b2d76fa2faab9afb2ee8c91597ee031b3f5c6923d5658019321e290cdf6a70724896
| -rw-r--r-- | doc/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/.gitignore b/doc/.gitignore new file mode 100644 index 0000000000..38498103bb --- /dev/null +++ b/doc/.gitignore @@ -0,0 +1 @@ +Doxyfile |