Claudio Atzori 723b01f9e9 trivial: the less magic numbers and values around, the better		2020-12-23 12:22:48 +01:00
..
dhp	trivial: the less magic numbers and values around, the better	2020-12-23 12:22:48 +01:00