commit | b3b454407058cd57d8a401a5aeb018d4ccb87616 | [log] [tgz] |
---|---|---|
author | Victor Stinner <victor.stinner@gmail.com> | Sat Mar 28 04:09:41 2015 +0100 |
committer | Victor Stinner <victor.stinner@gmail.com> | Sat Mar 28 04:09:41 2015 +0100 |
tree | b1e53ecf7dd67abfd8b1573e16c02210391f06d1 | |
parent | c337838af798354603457043e2ad8cfd3cbea36e [diff] |
Issue #22117: Use the _PyTime_t API for time.clock_settime() Remove also the now unused _PyTime_AddDouble() function.