diff options
| author | Karel Kočí <cynerd@email.cz> | 2015-08-17 16:06:16 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2015-08-17 16:11:00 +0200 |
| commit | 4a1e2cd1ce5ce44fdf4461e0ea51f4f362b23256 (patch) | |
| tree | b41785922f8c8e6123a05849b245f61a0ead2889 /scripts/picosat-959/.gitignore | |
| parent | ca4f750f7738c6ab6a7bcc85ac0a7cbed58a7c35 (diff) | |
| download | linux-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/.gitignore')
0 files changed, 0 insertions, 0 deletions