diff options
| author | Karel Kočí <cynerd@email.cz> | 2015-07-22 12:32:04 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2015-07-22 12:32:04 +0200 |
| commit | c2acf3fac67a8750b4ea40d901d18f81ee7e8c7a (patch) | |
| tree | 12b0e23f0996effcef3884a2eb131b3a8939d523 /scripts/picosat-959/mkconfig | |
| parent | ad1a1dd1f2fb8be0c37a31d0c9a53932ec824812 (diff) | |
| download | linux-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