2 Commits (3bbc784fad561b71aa6700f08537cdcc1e7402a0)

Author	SHA1	Message	Date
John Benediktsson	6b12e2e3bc	use ?delete-file instead of [ delete-file ] ignore-errors.	2016-07-10 20:28:46 -07:00
Slava Pestov	4bc54497fa	Move vocabularies which use delegation to unmaintained, and delete older unmaintained stuff	2008-08-27 16:23:35 -05:00