aboutsummaryrefslogtreecommitdiff
path: root/scripts/picosat-959/LICENSE
diff options
context:
space:
mode:
authorKarel Kočí <cynerd@email.cz>2015-05-05 11:45:40 +0200
committerKarel Kočí <cynerd@email.cz>2015-05-05 11:45:40 +0200
commit289b0ce128cdca79676307646eef3d56c25c6dd2 (patch)
treeeec45ee5fd958a94731fa554ef7c690f6f14ecce /scripts/picosat-959/LICENSE
parent20caa5bb744b543b4a55ef7b2d8432e758bb26bb (diff)
downloadlinux-conf-perf-289b0ce128cdca79676307646eef3d56c25c6dd2.tar.gz
linux-conf-perf-289b0ce128cdca79676307646eef3d56c25c6dd2.tar.bz2
linux-conf-perf-289b0ce128cdca79676307646eef3d56c25c6dd2.zip
Add minisat config
Diffstat (limited to 'scripts/picosat-959/LICENSE')
0 files changed, 0 insertions, 0 deletions