Theano/Theano — pull request #2168 by aalmah (2014-10-09 19:26:49+00:00)
Title: fixing #2125: redirecting profiling output to a file

Added a new config parameter to enable redirecting the output of profiling to a file. By default output is posted on stderr.