forked from VimPlug/jedi
17f5b9a79d
There is a new method introduced in Python 3.3: http://docs.python.org/3/library/datetime.html#datetime.datetime.timestamp