chiark / gitweb /
Merge commit 'refs/top-bases/fixes/destdir' into fixes/destdir
authormartin f. krafft <madduck@debian.org>
Tue, 12 Aug 2008 00:07:15 +0000 (21:07 -0300)
committermartin f. krafft <madduck@debian.org>
Tue, 12 Aug 2008 00:07:15 +0000 (21:07 -0300)

Trivial merge