aboutsummaryrefslogtreecommitdiff
path: root/scripts/picosat-959/configure
diff options
context:
space:
mode:
authorKarel Kočí <kocikare@fel.cvut.cz>2015-08-13 15:12:51 +0200
committerKarel Kočí <kocikare@fel.cvut.cz>2015-08-13 15:12:51 +0200
commit7c824b39e6f03fc0d459e07ea46d31335d87daec (patch)
tree92c8a64316a613a48a4626e05fe497974328e0ed /scripts/picosat-959/configure
parent360fae67713d3813059361fc0ee5fa6102e02246 (diff)
downloadlinux-conf-perf-7c824b39e6f03fc0d459e07ea46d31335d87daec.tar.gz
linux-conf-perf-7c824b39e6f03fc0d459e07ea46d31335d87daec.tar.bz2
linux-conf-perf-7c824b39e6f03fc0d459e07ea46d31335d87daec.zip
Fix wrong path to patch in patch script
Diffstat (limited to 'scripts/picosat-959/configure')
0 files changed, 0 insertions, 0 deletions