Slava Pestov 2aa84a9b4f Fix a couple of bootstrap errors		2009-01-25 00:11:06 -06:00
..
authors.txt	…
summary.txt	…
tags.txt	…
tools.factor	Fix a couple of bootstrap errors	2009-01-25 00:11:06 -06:00