John Benediktsson 9c3908e003 ui.tools: change Alt- to Ctrl-Shift- for tools.		2020-05-29 14:59:45 -07:00
..
authors.txt	…
operations-docs.factor	…
operations.factor	…
summary.txt	…