Nick Treleaven d785e22a6e checker: disallow assigning number to pointer (#7267)		2020-12-12 10:42:07 +01:00
..
executable	…
sharedlib	…
common.v	…