John Benediktsson bfb6bdd891 ui.gadgets: rename max-dim and dim-sum.		2012-07-13 23:19:21 -07:00
..
authors.txt	…
books-docs.factor	…
books-tests.factor	…
books.factor	ui.gadgets: rename max-dim and dim-sum.	2012-07-13 23:19:21 -07:00
summary.txt	…