summaryrefslogtreecommitdiff
path: root/sphinx/builders/devhelp.py
diff options
context:
space:
mode:
authorshimizukawa <shimizukawa@gmail.com>2015-11-30 23:46:56 +0900
committershimizukawa <shimizukawa@gmail.com>2015-11-30 23:46:56 +0900
commit28db5fb767a5853065ac449ffb8c380c660a1f0c (patch)
tree8b4bf333aebc6c15f60395e1c5bc0d31fec20df7 /sphinx/builders/devhelp.py
parentf4ea187b84cacc24a2e0b8f9766f33e3423607e6 (diff)
downloadsphinx-git-28db5fb767a5853065ac449ffb8c380c660a1f0c.tar.gz
Fix #2142: Provide non-minified JS code in ``sphinx/search/non-minified-js/*.js`` for source distribution on PyPI.
Diffstat (limited to 'sphinx/builders/devhelp.py')
0 files changed, 0 insertions, 0 deletions