| commit | 452bfcc222a5af5603b796448db87e35812d8505 | [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 | a6aecfcd758c67b726a5e41fff98e63a8112f454 | |
| parent | 94e5c933edc0576316493a859ff734dc028d0bb9 [diff] |
#14114: don't include copybutton.js in the htmlhelp output.