diff options
| author | Michal Sojka <sojkam1@fel.cvut.cz> | 2015-09-28 08:33:13 +0200 |
|---|---|---|
| committer | Michal Sojka <sojkam1@fel.cvut.cz> | 2015-09-28 08:33:13 +0200 |
| commit | c462eb260716d2e9cd4971dccbf44f5e889ed774 (patch) | |
| tree | aff1162f45b29977cba1346c1b30fe93b15708bc /scripts/picosat-959/configure | |
| parent | ed23caf8b73459e32cc84c790ac260b77ceb1d4a (diff) | |
| download | linux-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