aboutsummaryrefslogtreecommitdiff
path: root/scripts/picosat-959/mkconfig
diff options
context:
space:
mode:
authorKarel Kočí <cynerd@email.cz>2015-07-22 12:32:04 +0200
committerKarel Kočí <cynerd@email.cz>2015-07-22 12:32:04 +0200
commitc2acf3fac67a8750b4ea40d901d18f81ee7e8c7a (patch)
tree12b0e23f0996effcef3884a2eb131b3a8939d523 /scripts/picosat-959/mkconfig
parentad1a1dd1f2fb8be0c37a31d0c9a53932ec824812 (diff)
downloadlinux-conf-perf-c2acf3fac67a8750b4ea40d901d18f81ee7e8c7a.tar.gz
linux-conf-perf-c2acf3fac67a8750b4ea40d901d18f81ee7e8c7a.tar.bz2
linux-conf-perf-c2acf3fac67a8750b4ea40d901d18f81ee7e8c7a.zip
Rename solution script to configurations
New name more better resembles what script does.
Diffstat (limited to 'scripts/picosat-959/mkconfig')
0 files changed, 0 insertions, 0 deletions