Mike Fährmann 9fc1d0c901
implement and use 'util.safe_int()'
same as Python's 'int()', except it doesn't raise any exceptions and
accepts a default value
2017-09-24 15:59:25 +02:00
..
2017-03-03 15:50:10 +01:00
2017-09-24 15:59:25 +02:00
2017-09-12 16:19:00 +02:00
2017-08-02 21:06:49 +02:00
2017-06-02 09:10:58 +02:00
2017-07-15 14:51:58 +02:00
2017-08-21 18:29:50 +02:00
2017-09-24 15:59:25 +02:00
2017-09-14 15:04:32 +02:00
2017-07-08 17:16:41 +02:00
2017-09-12 16:19:00 +02:00
2017-09-12 16:19:00 +02:00
2017-09-12 16:19:00 +02:00
2017-09-12 16:19:00 +02:00
2017-09-12 16:19:00 +02:00
2017-09-14 14:57:40 +02:00