diff options
author | glisse <glisse@636b058d-ea47-450e-bf9e-a15bfbe3eedb> | 2017-03-01 15:40:37 +0000 |
---|---|---|
committer | glisse <glisse@636b058d-ea47-450e-bf9e-a15bfbe3eedb> | 2017-03-01 15:40:37 +0000 |
commit | 3ddacb8af07ce09c68ebc6596c581242b00b555c (patch) | |
tree | 0da3a20b96a691700e95c82e695fcb6b1921ea37 /src/Doxyfile | |
parent | 18a13841ce995148b0c46a35ee9209626f6bf3d5 (diff) |
Remove Debian directory.
It will be handled separately in Debian.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/gudhi/trunk@2124 636b058d-ea47-450e-bf9e-a15bfbe3eedb
Former-commit-id: e1b94bc17059f1bbaa88c1117e044d205efb5582
Diffstat (limited to 'src/Doxyfile')
-rw-r--r-- | src/Doxyfile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/Doxyfile b/src/Doxyfile index a41c6d6f..3ec4ac9a 100644 --- a/src/Doxyfile +++ b/src/Doxyfile @@ -784,7 +784,6 @@ EXCLUDE = data/ \ example/ \ GudhUI/ \ cmake/ \ - debian/ \ include/gudhi_patches/ # The EXCLUDE_SYMLINKS tag can be used to select whether or not files or |