Alexander Medvednikov 36ec47cd20 all: replace "NB:" with "Note:" (docs/comments)		2022-03-06 20:01:22 +03:00
..
tests	…
vet_test.v	…
vvet.v	all: replace "NB:" with "Note:" (docs/comments)	2022-03-06 20:01:22 +03:00