Historique des commits

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