diff options
| author | Karel Kočí <cynerd@email.cz> | 2015-08-19 10:34:07 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2015-08-19 10:34:07 +0200 |
| commit | d749e192142dcc82fe6fab481d9459e59b607792 (patch) | |
| tree | 1311cda92f5c7da2b73a3a7cf66157814553ed79 /scripts/picosat-959/configure | |
| parent | c1cad3004c618d02ba24814d686ea8b6de92fafc (diff) | |
| download | linux-conf-perf-d749e192142dcc82fe6fab481d9459e59b607792.tar.gz linux-conf-perf-d749e192142dcc82fe6fab481d9459e59b607792.tar.bz2 linux-conf-perf-d749e192142dcc82fe6fab481d9459e59b607792.zip | |
Add message about what configuration is measured
Diffstat (limited to 'scripts/picosat-959/configure')
0 files changed, 0 insertions, 0 deletions