diff AUTHORS @ 12914:590ce5bbf2ef

Obsolete now that the docs are XML.
author diego
date Thu, 29 Jul 2004 22:20:16 +0000
parents e16265568ea1
children 583999800746
line wrap: on
line diff