From d747a2e1d59095871c7e19ddc9d4959f511d83a7 Mon Sep 17 00:00:00 2001 From: Thomas Broust Date: Thu, 2 Oct 2014 12:08:05 +0200 Subject: [PATCH] Adds doxygen documentation build Former-commit-id: a655ee5cb9524232c86b64e9845a1dc2f62594de --- Doxyfile.REMOVED.git-id | 1 + build/tools/doxygen/doxysearch.cgi.REMOVED.git-id | 1 + 2 files changed, 2 insertions(+) create mode 100644 Doxyfile.REMOVED.git-id create mode 100644 build/tools/doxygen/doxysearch.cgi.REMOVED.git-id diff --git a/Doxyfile.REMOVED.git-id b/Doxyfile.REMOVED.git-id new file mode 100644 index 0000000000..0943c7f07a --- /dev/null +++ b/Doxyfile.REMOVED.git-id @@ -0,0 +1 @@ +80e95187691410ec3979cb1f9e4ca726878215c6 \ No newline at end of file diff --git a/build/tools/doxygen/doxysearch.cgi.REMOVED.git-id b/build/tools/doxygen/doxysearch.cgi.REMOVED.git-id new file mode 100644 index 0000000000..5dbddf870f --- /dev/null +++ b/build/tools/doxygen/doxysearch.cgi.REMOVED.git-id @@ -0,0 +1 @@ +0621db7f369243429e07a6fcd66833db3a83c16e \ No newline at end of file