diff --git a/default.haddock b/default.haddock new file mode 100644 index 000000000..36d66c276 --- /dev/null +++ b/default.haddock @@ -0,0 +1 @@ +$body$