| commit | f5ea48fd3bc604fdc52b034570e853152c1e61cf | [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 | c2c9464a3556cee84d4a16ecfdad4a8fc8179269 | |
| parent | e84e263a84745c9cbede0ac9385e2cff3f8ebfdf [diff] |
#14114: don't include copybutton.js in the htmlhelp output.