aboutsummaryrefslogtreecommitdiff
path: root/scripts/picosat-959/configure
diff options
context:
space:
mode:
authorKarel Kočí <kocikare@fel.cvut.cz>2015-08-12 17:49:56 +0200
committerKarel Kočí <kocikare@fel.cvut.cz>2015-08-12 17:49:56 +0200
commited07b06f529d9df1cb9f6e95b5780a064206737e (patch)
tree6d0572e297ee0fe8dd9255a6a2c22f1c62cec324 /scripts/picosat-959/configure
parente9f373c67d79bf8ea5e8b710ce4102a29abb42b2 (diff)
downloadlinux-conf-perf-ed07b06f529d9df1cb9f6e95b5780a064206737e.tar.gz
linux-conf-perf-ed07b06f529d9df1cb9f6e95b5780a064206737e.tar.bz2
linux-conf-perf-ed07b06f529d9df1cb9f6e95b5780a064206737e.zip
Change folder to kernel
As first will be measured only konfiguration options in kernel folder.
Diffstat (limited to 'scripts/picosat-959/configure')
0 files changed, 0 insertions, 0 deletions