Commit History

Auteur SHA1 Bericht Datum
  Bernhard Reutner-Fischer 55234edb23 randconfig.sh: set number of make jobs 14 jaren geleden
  Bernhard Reutner-Fischer 78b781b933 - expand documentation 16 jaren geleden
  Bernhard Reutner-Fischer 85163e7990 - add script to generate lots of failing (random)configs 16 jaren geleden