diff options
| author | Karel Kočí <cynerd@email.cz> | 2015-08-13 17:21:31 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2015-08-13 17:21:31 +0200 |
| commit | ca4f750f7738c6ab6a7bcc85ac0a7cbed58a7c35 (patch) | |
| tree | 7a28d913c374d08b3f09cef0933c262444a1d6c4 /scripts/picosat-959/mkconfig | |
| parent | b6abf4e8fe0c3b40305dfdd0410abfbf3c804874 (diff) | |
| download | linux-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