Daniel Kolesa d68b813f44 use nullptr		2020-07-30 03:15:44 +02:00
..
tools.cc	use nullptr	2020-07-30 03:15:44 +02:00
tools.hh	use nullptr	2020-07-30 03:15:44 +02:00