diff --git a/.gitignore b/.gitignore index 8032c58..7d63ee8 100644 --- a/.gitignore +++ b/.gitignore @@ -4,9 +4,11 @@ data *.patch *.log vgcore.* +*.core Cytoplasm/build Cytoplasm/out Cytoplasm/*-leaked.txt contrib/.vagrant src/Schema src/include/Schema +man/mandoc.db