commit | 0e4944911813528c77073c262771eae1e8033f2f | [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 | 70a513578ac8a5635773c74c837d4968b3613bdd | |
parent | 11d748e422bd2680dc65b644b4ef8fc438447102 [diff] |
#14114: don't include copybutton.js in the htmlhelp output.