Roland Häder
7eefb9aed8
Changed:
- empty() is maybe superflous here, still I would prefer a code style that is
written explicitly and not rely on "magic casting"
2022-06-22 18:57:01 +02:00
..
2022-06-22 18:57:01 +02:00
2022-06-04 07:57:11 +00:00
2022-06-22 07:49:45 -04:00
2022-06-17 17:18:31 +02:00
2022-06-17 17:18:31 +02:00
2022-03-06 11:49:55 +00:00
2022-03-24 11:30:32 +00:00
2022-06-08 05:35:34 +00:00
2022-04-28 12:41:26 +02:00
2022-04-02 21:16:53 +02:00
2022-01-02 08:27:47 +01:00
2022-06-22 07:49:45 -04:00
2022-04-28 12:41:26 +02:00
2022-06-18 05:03:10 +02:00