aboutsummaryrefslogtreecommitdiff
path: root/scripts/picosat-959
diff options
context:
space:
mode:
authorKarel Kočí <cynerd@email.cz>2015-08-17 16:06:16 +0200
committerKarel Kočí <cynerd@email.cz>2015-08-17 16:11:00 +0200
commit4a1e2cd1ce5ce44fdf4461e0ea51f4f362b23256 (patch)
treeb41785922f8c8e6123a05849b245f61a0ead2889 /scripts/picosat-959
parentca4f750f7738c6ab6a7bcc85ac0a7cbed58a7c35 (diff)
downloadlinux-conf-perf-4a1e2cd1ce5ce44fdf4461e0ea51f4f362b23256.tar.gz
linux-conf-perf-4a1e2cd1ce5ce44fdf4461e0ea51f4f362b23256.tar.bz2
linux-conf-perf-4a1e2cd1ce5ce44fdf4461e0ea51f4f362b23256.zip
Set configuration back do default and add overlap
Configuration is set back as it was before previous merge on branch master. Configurations for targets can be specified by overlapping configuration options with external config.
Diffstat (limited to 'scripts/picosat-959')
0 files changed, 0 insertions, 0 deletions