Michael Lamparski 215e9cf934 "dotprot" -> "dotprod" ... Well, since I reported it I guess I should do something about it. Note this is a *cough* **breaking change.** --- Closes #442.		2018-06-12 10:34:10 +02:00
..
stdarch	"dotprot" -> "dotprod"	2018-06-12 10:34:10 +02:00