diff --git a/docs/haddock/doc-index-124.html b/docs/haddock/doc-index-124.html new file mode 100644 index 0000000..f837e6d --- /dev/null +++ b/docs/haddock/doc-index-124.html @@ -0,0 +1,4 @@ +
Index - |
Index - /