diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-21 21:10:12 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-21 23:41:54 -0400 |
commit | 4ba5382a32cb80aacbff11178f0da7b6493c8d48 (patch) | |
tree | 2a6bf514d4f62dca1e80cb77e5db581f8d030e7a /.gitignore | |
parent | 3264f3bb76944129074c2a3204a94f0b02740e23 (diff) |
API documentation improvements.
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore index b3cce03ed..b63d4c851 100644 --- a/.gitignore +++ b/.gitignore @@ -10,7 +10,7 @@ /cvc4-*.tar.gz /cvc4-*.tar.bz2 /builds/ -/doc/ +/doc/doxygen .dep Makefile.in /configure |