« Previous | Next » 

Revision dec3cb70

IDdec3cb70c2df2ff3f05bc4d438682e8abfad3d01

Added by Kostas Papadimitriou almost 11 years ago

Update gitignore

exclude .coverage

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences