diff options
| author | Karel Kočí <cynerd@email.cz> | 2015-05-07 13:31:09 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2015-05-07 13:31:09 +0200 |
| commit | 62d21b8b34727434cc6340caf47fe7e34636d507 (patch) | |
| tree | 2f71722ee29970be7f2b80b6f8468561fba4074d /scripts/picosat-959/.gitignore | |
| parent | 96b508f54e069e1b3ae5a4a9f8ebf122a6dd76bf (diff) | |
| download | linux-conf-perf-62d21b8b34727434cc6340caf47fe7e34636d507.tar.gz linux-conf-perf-62d21b8b34727434cc6340caf47fe7e34636d507.tar.bz2 linux-conf-perf-62d21b8b34727434cc6340caf47fe7e34636d507.zip | |
Rename setpermute to permute
Diffstat (limited to 'scripts/picosat-959/.gitignore')
0 files changed, 0 insertions, 0 deletions