]> granicus.if.org Git - python/commit
projects / python / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 11d748e) | patch
#14114: don't include copybutton.js in the htmlhelp output.
authorEzio Melotti <ezio.melotti@gmail.com>
Sat, 25 Feb 2012 17:24:24 +0000 (19:24 +0200)
committerEzio Melotti <ezio.melotti@gmail.com>
Sat, 25 Feb 2012 17:24:24 +0000 (19:24 +0200)
commit0e4944911813528c77073c262771eae1e8033f2f
tree70a513578ac8a5635773c74c837d4968b3613bddtree | snapshot
parent11d748e422bd2680dc65b644b4ef8fc438447102commit | diff
#14114: don't include copybutton.js in the htmlhelp output.
Doc/tools/sphinxext/layout.html diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.