diff --git a/docs/src/_includes/head.html b/docs/src/_includes/head.html new file mode 100644 index 00000000..01018201 --- /dev/null +++ b/docs/src/_includes/head.html @@ -0,0 +1 @@ + \ No newline at end of file