diff options
| author | Karel Kočí <kocikare@fel.cvut.cz> | 2015-08-13 09:56:26 +0200 |
|---|---|---|
| committer | Karel Kočí <kocikare@fel.cvut.cz> | 2015-08-13 09:56:26 +0200 |
| commit | e1ccb36e492f80c9c6b713697241fa45e77e05e9 (patch) | |
| tree | 2ceea379681a451aa329f6b7b4cf2d4a29ff8c05 /scripts/picosat-959/.gitignore | |
| parent | bf95742296735f961f2cf8d00391de265e7f0d88 (diff) | |
| download | linux-conf-perf-e1ccb36e492f80c9c6b713697241fa45e77e05e9.tar.gz linux-conf-perf-e1ccb36e492f80c9c6b713697241fa45e77e05e9.tar.bz2 linux-conf-perf-e1ccb36e492f80c9c6b713697241fa45e77e05e9.zip | |
Enable multithreating execution
Diffstat (limited to 'scripts/picosat-959/.gitignore')
0 files changed, 0 insertions, 0 deletions