John Benediktsson 1c5d417100 math.vectors: rename "v." to "vdot"		2020-02-26 12:40:16 -08:00
..
authors.txt	…
sliders-docs.factor	…
sliders.factor	math.vectors: rename "v." to "vdot"	2020-02-26 12:40:16 -08:00
summary.txt	…