| commit | cbfe4d4f8be569ea0d711646e298e70fdbd80986 | [log] [tgz] |
|---|---|---|
| author | Ezio Melotti <ezio.melotti@gmail.com> | Sat Feb 25 19:24:24 2012 +0200 |
| committer | Ezio Melotti <ezio.melotti@gmail.com> | Sat Feb 25 19:24:24 2012 +0200 |
| tree | e34dd2258f5926efc8f6620a4092ac8dab748019 | |
| parent | 195261ea458c37d60f06abd05a02c63b16014b59 [diff] |
#14114: don't include copybutton.js in the htmlhelp output.