Better early return for add_launch_buttons if no launch buttons#693

choldgraf merged 1 commit into

executablebooks:masterexecutablebooks/sphinx-book-theme:masterfrom

paugier:disable-launch-buttons-altpaugier/sphinx-book-theme:disable-launch-buttons-altCopy head branch name to clipboard