diff options
| author | Marc Glisse <marc.glisse@inria.fr> | 2020-03-13 09:50:21 +0100 |
|---|---|---|
| committer | Marc Glisse <marc.glisse@inria.fr> | 2020-03-13 09:50:21 +0100 |
| commit | cc2d51d32c5e546c10046adae04ad14d38930566 (patch) | |
| tree | 8d5cdeee4f81e5e048f8910ff086acce3cf97c74 /src/Doxyfile.in | |
| parent | a17a09a2c58bba79e897d0ba00aada05da556967 (diff) | |
| parent | e15431ead82923a939f9bcc66347c1b718618a98 (diff) | |
Merge remote-tracking branch 'upstream/master' into optimal_matching_wasserstein
Diffstat (limited to 'src/Doxyfile.in')
| -rw-r--r-- | src/Doxyfile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Doxyfile.in b/src/Doxyfile.in index ec551882..49e781bd 100644 --- a/src/Doxyfile.in +++ b/src/Doxyfile.in @@ -785,6 +785,7 @@ EXCLUDE = data/ \ GudhUI/ \ cmake/ \ python/ \ + ext/ \ README.md # The EXCLUDE_SYMLINKS tag can be used to select whether or not files or |