mirror of
https://github.com/sphinx-doc/sphinx.git
synced 2025-02-25 18:55:22 -06:00
Fix style-check violations
This commit is contained in:
parent
98f7818101
commit
cec5c39d84
@ -1,14 +1,14 @@
|
|||||||
|
# -*- coding: utf-8 -*-
|
||||||
"""# -*- coding: utf-8 -*-
|
"""
|
||||||
sphinx.search.jssplitter
|
sphinx.search.jssplitter
|
||||||
~~~~~~~~~~~~~~~~~~~~~~~~
|
~~~~~~~~~~~~~~~~~~~~~~~~
|
||||||
|
|
||||||
Provides Python compatible word splitter to JavaScript
|
Provides Python compatible word splitter to JavaScript
|
||||||
|
|
||||||
|
DO NOT EDIT. This is generated by utils/jssplitter_generator.py
|
||||||
|
|
||||||
:copyright: Copyright 2007-2016 by the Sphinx team, see AUTHORS.
|
:copyright: Copyright 2007-2016 by the Sphinx team, see AUTHORS.
|
||||||
:license: BSD, see LICENSE for details.
|
:license: BSD, see LICENSE for details.
|
||||||
|
|
||||||
DO NOT EDIT. This is generated by utils/jssplitter_generator.py
|
|
||||||
"""
|
"""
|
||||||
|
|
||||||
splitter_code = """
|
splitter_code = """
|
||||||
|
@ -113,17 +113,17 @@ console.log(' ... ok\\n')
|
|||||||
|
|
||||||
''' % js_src
|
''' % js_src
|
||||||
|
|
||||||
python_src = '''
|
python_src = '''# -*- coding: utf-8 -*-
|
||||||
"""# -*- coding: utf-8 -*-
|
"""
|
||||||
sphinx.search.jssplitter
|
sphinx.search.jssplitter
|
||||||
~~~~~~~~~~~~~~~~~~~~~~~~
|
~~~~~~~~~~~~~~~~~~~~~~~~
|
||||||
|
|
||||||
Provides Python compatible word splitter to JavaScript
|
Provides Python compatible word splitter to JavaScript
|
||||||
|
|
||||||
|
DO NOT EDIT. This is generated by utils/jssplitter_generator.py
|
||||||
|
|
||||||
:copyright: Copyright 2007-2016 by the Sphinx team, see AUTHORS.
|
:copyright: Copyright 2007-2016 by the Sphinx team, see AUTHORS.
|
||||||
:license: BSD, see LICENSE for details.
|
:license: BSD, see LICENSE for details.
|
||||||
|
|
||||||
DO NOT EDIT. This is generated by utils/jssplitter_generator.py
|
|
||||||
"""
|
"""
|
||||||
|
|
||||||
splitter_code = """
|
splitter_code = """
|
||||||
|
Loading…
Reference in New Issue
Block a user