Commit History

Author SHA1 Message Date
  Bernhard Reutner-Fischer 55234edb23 randconfig.sh: set number of make jobs 15 years ago
  Bernhard Reutner-Fischer 78b781b933 - expand documentation 16 years ago
  Bernhard Reutner-Fischer 85163e7990 - add script to generate lots of failing (random)configs 16 years ago