« Previous | Next » 

Revision a731f96c

IDa731f96c46dd7e210dd36d24ac9696cf2436b40c
Parent 57541c8e
Child 8d985407

Added by Hans-Christoph Steiner about 2 years ago

configure for travis-ci

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences