Skip to content

Rename remove toctrees from#2

Merged
choldgraf merged 2 commits into
mainfrom
tmp2
Oct 24, 2021
Merged

Rename remove toctrees from#2
choldgraf merged 2 commits into
mainfrom
tmp2

Conversation

@choldgraf
Copy link
Copy Markdown
Member

This renames the configuration value for this extension so that it more accurately matches what it's during (thx @pradyunsg for the idea in #1 )

@welcome
Copy link
Copy Markdown

welcome Bot commented Oct 23, 2021

Thanks for submitting your first pull request! You are awesome! 🤗

If you haven't done so already, check out EBP's Code of Conduct and our Contributing Guide, as this will greatly help the review process.

Welcome to the EBP community! 🎉

@choldgraf choldgraf force-pushed the tmp2 branch 2 times, most recently from 3115d7f to 4c21b96 Compare October 24, 2021 17:06
@choldgraf choldgraf merged commit 2cc2da6 into main Oct 24, 2021
@welcome
Copy link
Copy Markdown

welcome Bot commented Oct 24, 2021

Congrats on your first merged pull request in this project! 🎉
congrats

Thank you for contributing, we are very proud of you! ❤️

@choldgraf choldgraf deleted the tmp2 branch October 24, 2021 17:08
@choldgraf choldgraf mentioned this pull request Oct 24, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done 🎉

Development

Successfully merging this pull request may close these issues.

1 participant