« Previous | Next » 

Revision 208b02e3

ID208b02e3b3ad974e0b4ea83a19f72491eeb02e24
Parent 784e77f0
Child 2fd5a116

Added by Iustin Pop over 8 years ago

A bit more name cleanup

- gen-coverage → gen-py-coverage
- coverage-htools.tix → coverage-hs.tix

Signed-off-by: Iustin Pop <>
Reviewed-by: Guido Trotter <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences