Claudio Atzori ba4b4c74d8 do not make the identifier prefix depend on the Handle		2021-04-15 16:48:26 +02:00
..
main	do not make the identifier prefix depend on the Handle	2021-04-15 16:48:26 +02:00
test	do not make the identifier prefix depend on the Handle	2021-04-15 16:48:26 +02:00