diff --git a/doc/doxygen/footer.html b/doc/doxygen/footer.html new file mode 100644 index 0000000000..9857a877e8 --- /dev/null +++ b/doc/doxygen/footer.html @@ -0,0 +1,11 @@ +