Boris Samorodov 06a4e30292 Fix the defunct address, s/plutotech/boogie . ... Submitted by: Mike Durian <durian@boogie.com> (by private e-mail)		2009-08-04 16:26:33 +00:00
..
article.sgml	Clean up in articles/contributors:	2008-08-16 22:21:38 +00:00
chapter.decl	Split contributors/article.sgml into several files.	2003-07-08 17:51:11 +00:00
contrib.386bsd.sgml	Large whitespace cleanup.	2004-08-11 14:46:03 +00:00
contrib.additional.sgml	Fix the defunct address, s/plutotech/boogie .	2009-08-04 16:26:33 +00:00
contrib.committers.sgml	Move myself from 'Additional Contributors' to 'Developers'	2009-07-20 14:55:34 +00:00
contrib.corealumni.sgml	Clean up in articles/contributors:	2008-08-16 22:21:38 +00:00
contrib.develalumni.sgml	- Document that pho's commit bit has been restored, so he is not in	2008-11-24 06:41:56 +00:00
contrib.ent	Clean up in articles/contributors:	2008-08-16 22:21:38 +00:00
Makefile	Clean up in articles/contributors:	2008-08-16 22:21:38 +00:00