« Previous | Next » 

Revision be811997

IDbe811997314553d09b46c449ddc024edf48af02b

Added by Iustin Pop about 14 years ago

Fix a haddock comment issue

For some versions of haddock, this can create problems.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences