Claudio Atzori 6848d0c3d7 trivial: avoid duplicated code		2020-12-23 12:21:58 +01:00
..
main	trivial: avoid duplicated code	2020-12-23 12:21:58 +01:00
test	trivial: avoid duplicated code	2020-12-23 12:21:58 +01:00