Nicola Murino 0c8d3c0b10 move the lint command to its own package (#389) ... in this way we remove several dependencies from the actual library		2021-12-17 03:03:37 +01:00
..
lint	move the lint command to its own package (#389)	2021-12-17 03:03:37 +01:00