John Benediktsson 43c2ffead2 Revert "ui.tools: change Alt- to Ctrl-Shift- for tools." ... This reverts commit 9c3908e003.		2020-06-06 16:19:43 -07:00
..
authors.txt	…
operations-docs.factor	…
operations.factor	Revert "ui.tools: change Alt- to Ctrl-Shift- for tools."	2020-06-06 16:19:43 -07:00
summary.txt	…