jansel/opentuner — pull request #17 by jrk (2014-02-27 20:31:12+00:00)
Title: Fix stats.py output type

It's actually generating eps from gnuplot, not PDF. Name the file accordingly...