commit | 4342722f4050b6d48fd786d1df1d69c2d5af919c | [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 | 6efd6639e01c41fe6d562d50f1745de8cbb53bac | |
parent | 2e0a0e1640e89bec7da985534411c464d3d30df2 [diff] |
#14114: don't include copybutton.js in the htmlhelp output.