Slava Pestov e0af88bd97 Move a bunch of vocabularies to unmaintained, hopefully temporarily		2008-12-03 00:05:20 -06:00
..
2	Move a bunch of vocabularies to unmaintained, hopefully temporarily	2008-12-03 00:05:20 -06:00
3	Move a bunch of vocabularies to unmaintained, hopefully temporarily	2008-12-03 00:05:20 -06:00
4	Move a bunch of vocabularies to unmaintained, hopefully temporarily	2008-12-03 00:05:20 -06:00
5	Move a bunch of vocabularies to unmaintained, hopefully temporarily	2008-12-03 00:05:20 -06:00
authors.txt	Move a bunch of vocabularies to unmaintained, hopefully temporarily	2008-12-03 00:05:20 -06:00
deploy.factor	Move a bunch of vocabularies to unmaintained, hopefully temporarily	2008-12-03 00:05:20 -06:00
nehe.factor	Move a bunch of vocabularies to unmaintained, hopefully temporarily	2008-12-03 00:05:20 -06:00
summary.txt	Move a bunch of vocabularies to unmaintained, hopefully temporarily	2008-12-03 00:05:20 -06:00
tags.txt	Move a bunch of vocabularies to unmaintained, hopefully temporarily	2008-12-03 00:05:20 -06:00