Alexander Medvednikov 36ec47cd20 all: replace "NB:" with "Note:" (docs/comments)		2022-03-06 20:01:22 +03:00
..
header.h	…
impl.c	…
v.mod	…
wrapper.v	…