diff options
author | Luca Falavigna <dktrkranz@debian.org> | 2009-10-05 23:14:35 +0200 |
---|---|---|
committer | Luca Falavigna <dktrkranz@debian.org> | 2009-10-05 23:14:35 +0200 |
commit | cb37fb05f655115042db4097b815f6817d3c8084 (patch) | |
tree | fc2eb561f67cf79688896efa194fb1736dcdbfe5 /debian/patches/series | |
parent | a42e8cad7b2aafa6047afc4fd705ab80c9b45b8a (diff) |
Do not fetch DTD from WWW, use local one instead
Diffstat (limited to 'debian/patches/series')
-rw-r--r-- | debian/patches/series | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/patches/series b/debian/patches/series new file mode 100644 index 0000000..8717987 --- /dev/null +++ b/debian/patches/series @@ -0,0 +1 @@ +no_remote_dtd.patch |