aboutsummaryrefslogtreecommitdiff
path: root/scripts/picosat-959/configure
diff options
context:
space:
mode:
authorKarel Kočí <cynerd@email.cz>2015-07-24 17:24:04 +0200
committerKarel Kočí <cynerd@email.cz>2015-07-24 17:24:04 +0200
commitaa993b1a62314c45e5127b97ec131c8dc048a6fa (patch)
treed989d4add426aa14416b745823c9cf6997847c00 /scripts/picosat-959/configure
parent4df04029a616013e1d795102eab790c628d6dac1 (diff)
downloadlinux-conf-perf-aa993b1a62314c45e5127b97ec131c8dc048a6fa.tar.gz
linux-conf-perf-aa993b1a62314c45e5127b97ec131c8dc048a6fa.tar.bz2
linux-conf-perf-aa993b1a62314c45e5127b97ec131c8dc048a6fa.zip
Fix big amount of bugs in recently commited code
Recently committed code wasn't tested, because most of the required infrastructure wasn't yet written. So bugs must be fixed after more parts of system are reimplemented.
Diffstat (limited to 'scripts/picosat-959/configure')
0 files changed, 0 insertions, 0 deletions