diff options
author | Jörg Frings-Fürst <debian@jff-webhsoting.net> | 2018-03-21 22:11:07 +0100 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff-webhsoting.net> | 2018-03-21 22:11:07 +0100 |
commit | c17b127df11ec779784c0b41e7e1500d041bd077 (patch) | |
tree | ec134b40f87f90bb6de54f3c2a15135cdb7f723b /doc/release.sh.in | |
parent | 0ca227c7ff3be80a64807df27ffe7066cf447e09 (diff) | |
parent | 6d05f3e01a26fa416c9d0150163db20abac4b4ef (diff) |
Update upstream source from tag 'upstream/0.8.5'
Update to upstream version '0.8.5'
with Debian dir e35894d616fcb570578d09c39828e967d4b6b4b0
Diffstat (limited to 'doc/release.sh.in')
-rwxr-xr-x | doc/release.sh.in | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/doc/release.sh.in b/doc/release.sh.in index d970773..70a52b4 100755 --- a/doc/release.sh.in +++ b/doc/release.sh.in @@ -17,7 +17,6 @@ cp \ html/*.css \ html/*.html \ html/*.js \ - html/*.map \ html/*.md5 \ html/*.png \ \ |