diff options
author | Jörg Frings-Fürst <debian@jff-webhsoting.net> | 2018-03-21 22:11:05 +0100 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff-webhsoting.net> | 2018-03-21 22:11:05 +0100 |
commit | 6d05f3e01a26fa416c9d0150163db20abac4b4ef (patch) | |
tree | b568a83a8759142bd580ee5bd59497092dc9c6f4 /doc/release.sh.in | |
parent | bb0fbadacbd603b1e8d258f75ff5ca8ee481feb4 (diff) |
New upstream version 0.8.5upstream/0.8.5
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 \ \ |