{"library":"sphinxcontrib-devhelp","install":[{"cmd":"pip install sphinxcontrib-devhelp","imports":["extensions = ['sphinxcontrib.devhelp']"]}]}