Closed iustin closed 11 years ago
Small fix to the haddock formatting (usual formatting error).
Thanks
Small fix to the haddock formatting (usual formatting error).