Slava Pestov 0f6b2f69fa Deploy tool always uses optimizing compiler now		2009-05-11 00:32:22 -05:00
..
deployed	Deploy tool always uses optimizing compiler now	2009-05-11 00:32:22 -05:00
drills.factor	…
tags.txt	…