aboutsummaryrefslogtreecommitdiff
path: root/scripts/picosat-959/mkconfig
diff options
context:
space:
mode:
authorKarel Kočí <cynerd@email.cz>2015-08-13 17:21:31 +0200
committerKarel Kočí <cynerd@email.cz>2015-08-13 17:21:31 +0200
commitca4f750f7738c6ab6a7bcc85ac0a7cbed58a7c35 (patch)
tree7a28d913c374d08b3f09cef0933c262444a1d6c4 /scripts/picosat-959/mkconfig
parentb6abf4e8fe0c3b40305dfdd0410abfbf3c804874 (diff)
downloadlinux-conf-perf-ca4f750f7738c6ab6a7bcc85ac0a7cbed58a7c35.tar.gz
linux-conf-perf-ca4f750f7738c6ab6a7bcc85ac0a7cbed58a7c35.tar.bz2
linux-conf-perf-ca4f750f7738c6ab6a7bcc85ac0a7cbed58a7c35.zip
Set configuration back do default
Configuration is set back as it was before previous merge on branch master.
Diffstat (limited to 'scripts/picosat-959/mkconfig')
0 files changed, 0 insertions, 0 deletions