From bce8dd576749ece7ae56a7ac0da8613a76a6e133 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: f1b5a15a2370251e945f4924154901c4eac4c442 --- 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