Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/sphinx-doc/sphinx.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTakeshi KOMIYA <i.tkomiya@gmail.com>2018-11-24 16:22:54 +0300
committerGitHub <noreply@github.com>2018-11-24 16:22:54 +0300
commit95dffb2af6fbdefe30f1b492adedc4036abd6f84 (patch)
tree99037e074e1fea91c7b6d64a5d64cfdfa22e21f0 /sphinx/search
parent8c3a06698371e356c867d7661c578058ccf11bb4 (diff)
parentd4e22793ca5b0e12d3c5e8be6f7d42051c429bc4 (diff)
Merge pull request #5666 from tk0miya/fix_typehints_for_add_node
Fix annotations for app.add_nodes() and related functions
Diffstat (limited to 'sphinx/search')
0 files changed, 0 insertions, 0 deletions