diff options
author | Luca Falavigna <dktrkranz@debian.org> | 2012-08-20 23:47:49 +0200 |
---|---|---|
committer | Luca Falavigna <dktrkranz@debian.org> | 2012-08-20 23:47:49 +0200 |
commit | 662fa9941b5cc2d45be5bbb092ab2050b2eac2ae (patch) | |
tree | c7886b9b0e662cb2d9e5394d5d96005533c048eb /doc/design | |
parent | 081552f6a7cd97f5b6499fd896f755c990b5b769 (diff) |
debian/patches/no_remote_dtd.patch removed, no longer needed
Diffstat (limited to 'doc/design')
0 files changed, 0 insertions, 0 deletions