aboutsummaryrefslogtreecommitdiff
path: root/scripts/picosat-959/NEWS
diff options
context:
space:
mode:
authorKarel Kočí <cynerd@email.cz>2015-08-19 10:34:07 +0200
committerKarel Kočí <cynerd@email.cz>2015-08-19 10:34:07 +0200
commitd749e192142dcc82fe6fab481d9459e59b607792 (patch)
tree1311cda92f5c7da2b73a3a7cf66157814553ed79 /scripts/picosat-959/NEWS
parentc1cad3004c618d02ba24814d686ea8b6de92fafc (diff)
downloadlinux-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/NEWS')
0 files changed, 0 insertions, 0 deletions