diff options
Diffstat (limited to 'utils/jssplitter_generator.py')
| -rw-r--r-- | utils/jssplitter_generator.py | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/utils/jssplitter_generator.py b/utils/jssplitter_generator.py index 7806d64d2..0e95cfe56 100644 --- a/utils/jssplitter_generator.py +++ b/utils/jssplitter_generator.py @@ -113,9 +113,6 @@ console.log(' ... ok\\n') python_src = '''\ """ - sphinx.search.jssplitter - ~~~~~~~~~~~~~~~~~~~~~~~~ - Provides Python compatible word splitter to JavaScript DO NOT EDIT. This is generated by utils/jssplitter_generator.py |