aboutsummaryrefslogtreecommitdiff
path: root/scripts/picosat-959/mkconfig
diff options
context:
space:
mode:
authorKarel Kočí <cynerd@email.cz>2015-05-16 14:32:32 +0200
committerKarel Kočí <cynerd@email.cz>2015-05-16 14:32:32 +0200
commit599690760476bf7c9c2be226c40cc70c813aa60d (patch)
tree2c7582e38c83ba00444813e2f9f84adcd30212b3 /scripts/picosat-959/mkconfig
parentf189512d1a531578a87a0743d8bc6422613a1e99 (diff)
downloadlinux-conf-perf-599690760476bf7c9c2be226c40cc70c813aa60d.tar.gz
linux-conf-perf-599690760476bf7c9c2be226c40cc70c813aa60d.tar.bz2
linux-conf-perf-599690760476bf7c9c2be226c40cc70c813aa60d.zip
Implement evaluate
Diffstat (limited to 'scripts/picosat-959/mkconfig')
0 files changed, 0 insertions, 0 deletions