diff debian/config @ 23681:605ae92c644e

Fix 'make checkheaders'.
author diego
date Mon, 02 Jul 2007 12:52:41 +0000
parents a5bef61f49bf
children
line wrap: on
line diff