Historie revizí

Autor SHA1 Zpráva Datum
  Maks3w ba2dc9b7c3 Typo and coding style před 13 roky
  Nils Adermann 7558731830 Fix documentation layout před 13 roky
  Nils Adermann 4d5655a604 Add basic specification of the default solver policy behaviour před 13 roky