aboutsummaryrefslogtreecommitdiff
path: root/scripts/picosat-959/picomus.c
diff options
context:
space:
mode:
authorKarel Kočí <kocikare@fel.cvut.cz>2015-08-08 10:44:54 +0200
committerKarel Kočí <cynerd@email.cz>2015-08-12 10:22:55 +0200
commit9b35e3880a5c0deaa554cd14cd9717719630e10c (patch)
tree0159c3214743937c12bfe4eb6906ea4a2173f78c /scripts/picosat-959/picomus.c
parent4ef85ff52f3283ef6950b44e34f580cdc483bed2 (diff)
downloadlinux-conf-perf-9b35e3880a5c0deaa554cd14cd9717719630e10c.tar.gz
linux-conf-perf-9b35e3880a5c0deaa554cd14cd9717719630e10c.tar.bz2
linux-conf-perf-9b35e3880a5c0deaa554cd14cd9717719630e10c.zip
Remove script for generating configuration
Also folder measure_scripts renamed to ryuglab_scripts to signalize for what target are those scripts.
Diffstat (limited to 'scripts/picosat-959/picomus.c')
0 files changed, 0 insertions, 0 deletions