diff options
author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2020-03-01 01:54:52 +0900 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-03-01 01:54:52 +0900 |
commit | 201455900a5fe938a1aadb4af37a2b13aeaa44bd (patch) | |
tree | d868a7c701991c3c707f21c5331664700bf5e5c3 /utils/bump_version.py | |
parent | bac5192838b6c5c5db012cc9df493e2fbdcb0f9a (diff) | |
parent | dd8088f5aae7919e0977a47ced1e34a75f2c7ae1 (diff) | |
download | sphinx-git-201455900a5fe938a1aadb4af37a2b13aeaa44bd.tar.gz |
Merge pull request #7210 from tk0miya/refactor_js_domain2
js domain: Generate node_id in the right way
Diffstat (limited to 'utils/bump_version.py')
0 files changed, 0 insertions, 0 deletions