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