diff --git a/docs/_layouts/default.html b/docs/_layouts/default.html index cc19191854..1f0de50826 100644 --- a/docs/_layouts/default.html +++ b/docs/_layouts/default.html @@ -8,6 +8,8 @@ + +
diff --git a/docs/img/favicon.ico b/docs/img/favicon.ico new file mode 100644 index 0000000000..71c02f1136 Binary files /dev/null and b/docs/img/favicon.ico differ