Joe Groff a5957b188d nip most uses of tuck from extra		2009-11-05 22:22:21 -06:00
..
avl	nip most uses of tuck from extra	2009-11-05 22:22:21 -06:00
splay	nip most uses of tuck from extra	2009-11-05 22:22:21 -06:00
authors.txt	…
summary.txt	…
tags.txt	…
trees-docs.factor	docs: change $subsection to $subsections	2009-10-02 12:15:48 -04:00
trees-tests.factor	…
trees.factor	nip most uses of tuck from extra	2009-11-05 22:22:21 -06:00