Theano/Theano — pull request #1124 by nouiz (2012-12-06 15:54:11+00:00)
Title: Buildbot

This do some small update to the nightly buildbot script.