« Previous | Next » 

Revision 1a517858

ID1a5178587ff63234d1b323fca965acb4a42cb9e2
Parent 6877ff73
Child ea7ada38

Added by Ondrej Zajicek over 11 years ago

Fixes unnecessary pipe restart during configure.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences