diff debian/copyright @ 34201:079e40110dad

configure: merge DOCS/xml/configure into top-level configure
author diego
date Thu, 03 Nov 2011 14:23:14 +0000
parents 85f0d7406e07
children f2b81cd25817
line wrap: on
line diff