2 Commits (5376587fb36d48e35b962fa4b2c530c91c2c53b3)

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