« Previous | Next » 

Revision 931ca734

ID931ca734cb5b481c97777c642f6bd474c1ae5da5
Parent f0ac917e
Child ead368bb

Added by Petr Pudlak almost 7 years ago

gitignore the files introduced by the compilation change

In particular, the test object and interface files and Makefile.ghc

Signed-off-by: Petr Pudlak <>
Reviewed-by: Klaus Aehlig <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences