diff debian/config @ 8433:cfba772e2982

Added some documenters.
author diego
date Thu, 12 Dec 2002 03:03:05 +0000
parents 6746866a94c6
children a5bef61f49bf
line wrap: on
line diff