factor

Author	SHA1	Message	Date
Slava Pestov	ce91c9dcba	Update deployment descriptors for deploy-random? removal	2008-11-06 01:40:54 -06:00
Slava Pestov	48d8d44d80	Tweak deploy descriptors	2008-07-03 20:50:08 -05:00
Slava Pestov	0d0f0c5ce7	Improve deployment tool	2008-03-20 21:11:53 -05:00
Slava Pestov	f1cadef89d	More deployment fixes	2008-03-14 17:39:57 -05:00
Slava Pestov	ed29e2e5aa	Notify definition-observers when words are forgotten	2008-01-09 17:51:55 -04:00