aboutsummaryrefslogtreecommitdiff
path: root/scripts/picosat-959/configure
diff options
context:
space:
mode:
authorMichal Sojka <sojkam1@fel.cvut.cz>2015-09-28 08:33:13 +0200
committerMichal Sojka <sojkam1@fel.cvut.cz>2015-09-28 08:33:13 +0200
commitc462eb260716d2e9cd4971dccbf44f5e889ed774 (patch)
treeaff1162f45b29977cba1346c1b30fe93b15708bc /scripts/picosat-959/configure
parented23caf8b73459e32cc84c790ac260b77ceb1d4a (diff)
downloadlinux-conf-perf-c462eb260716d2e9cd4971dccbf44f5e889ed774.tar.gz
linux-conf-perf-c462eb260716d2e9cd4971dccbf44f5e889ed774.tar.bz2
linux-conf-perf-c462eb260716d2e9cd4971dccbf44f5e889ed774.zip
Remove false comment
Diffstat (limited to 'scripts/picosat-959/configure')
0 files changed, 0 insertions, 0 deletions