aboutsummaryrefslogtreecommitdiff
path: root/scripts/picosat-959
diff options
context:
space:
mode:
authorKarel Kočí <cynerd@email.cz>2015-05-07 13:33:40 +0200
committerKarel Kočí <cynerd@email.cz>2015-05-07 13:33:40 +0200
commit0a0e8e13d3e2263fe36e6ce6107d8637629ca108 (patch)
tree088aa4f4d1ee22563a0124fc563ab393069008d8 /scripts/picosat-959
parent62d21b8b34727434cc6340caf47fe7e34636d507 (diff)
downloadlinux-conf-perf-0a0e8e13d3e2263fe36e6ce6107d8637629ca108.tar.gz
linux-conf-perf-0a0e8e13d3e2263fe36e6ce6107d8637629ca108.tar.bz2
linux-conf-perf-0a0e8e13d3e2263fe36e6ce6107d8637629ca108.zip
Add permute to root Makefile
Diffstat (limited to 'scripts/picosat-959')
0 files changed, 0 insertions, 0 deletions