« Previous | Next » 

Revision b3ed0d9a

IDb3ed0d9a3e2f245975888093b857f765703bcdee
Parent da4fd3b0
Child a002ed79

Added by Agata Murawska over 11 years ago

configure: fix for two version of QuickCheck present

Signed-off-by: Agata Murawska <>
Reviewed-by: Iustin Pop <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences