diff options
author | shimizukawa <shimizukawa@gmail.com> | 2015-11-30 23:46:56 +0900 |
---|---|---|
committer | shimizukawa <shimizukawa@gmail.com> | 2015-11-30 23:46:56 +0900 |
commit | 28db5fb767a5853065ac449ffb8c380c660a1f0c (patch) | |
tree | 8b4bf333aebc6c15f60395e1c5bc0d31fec20df7 /sphinx/builders/devhelp.py | |
parent | f4ea187b84cacc24a2e0b8f9766f33e3423607e6 (diff) | |
download | sphinx-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