ipython/ipython — pull request #3032 by olivierverdier (2013-03-18 15:26:19+00:00)
Title: fix time format to international time format

use the ISO 8601 standard
see http://en.wikipedia.org/wiki/ISO_8601#Times