John Benediktsson 1c5d417100 math.vectors: rename "v." to "vdot"		2020-02-26 12:40:16 -08:00
..
authors.txt	…
grid-lines-docs.factor	…
grid-lines-tests.factor	ui.gadgets.grid-lines: fix using.	2015-07-18 18:30:16 -07:00
grid-lines.factor	math.vectors: rename "v." to "vdot"	2020-02-26 12:40:16 -08:00
summary.txt	…