Mike Fährmann
c45770331a
use 'str.partition()'
The (r)partition method is always faster then split() or any other
method that has been replaced in this commit.
2017-08-21 18:29:50 +02:00
..
2017-08-16 12:11:47 +02:00
2017-08-21 18:29:50 +02:00
2017-08-13 20:35:44 +02:00
2017-01-16 02:59:22 +01:00
2017-01-30 19:40:15 +01:00
2017-06-30 15:21:04 +02:00
2017-03-27 14:30:32 +02:00
2017-04-08 11:02:32 +02:00
2017-08-12 20:07:27 +02:00
2017-08-11 21:48:37 +02:00
2017-08-11 21:48:37 +02:00
2017-08-16 19:56:50 +02:00
2017-04-26 11:33:19 +02:00
2017-05-10 16:45:45 +02:00
2017-08-13 14:31:22 +02:00
2017-07-26 10:33:15 +02:00