diff debian/config @ 13916:04859611e7c0

compilation fix
author diego
date Thu, 11 Nov 2004 03:27:23 +0000
parents 6746866a94c6
children a5bef61f49bf
line wrap: on
line diff