Niels Keurentjes 8e78ce9a43 Add extra logging before and after SAT solving 9 tahun lalu
..
Composer 8e78ce9a43 Add extra logging before and after SAT solving 9 tahun lalu
bootstrap.php 1347d5306a Make sure a good timezone is set, fixes #2899 11 tahun lalu
complete.phpunit.xml 406e087a46 Stop running PEAR Repo test suite as it fails and is kinda irrelevant at this point 9 tahun lalu