Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Revert "Use distinct TOC files" #106

Merged
merged 1 commit into from
Aug 26, 2021
Merged

Conversation

p3lim
Copy link
Collaborator

@p3lim p3lim commented Aug 26, 2021

Reverts #103

@p3lim
Copy link
Collaborator Author

p3lim commented Aug 26, 2021

I misclicked, sorry about that, I should probably not have this kind of access anyways :P

@p3lim p3lim merged commit de9cb3c into master Aug 26, 2021
@p3lim p3lim deleted the revert-103-fix-distinct-toc branch August 26, 2021 12:46
@Nevcairiel
Copy link
Member

Nevcairiel commented Aug 26, 2021

I'm confused. You misclicked, yet the revert is in master anyway?
Oh you mean you misclicked on the other one?

@p3lim
Copy link
Collaborator Author

p3lim commented Aug 26, 2021

Yeah I misclicked the other one, I had the tab open because I was planning on reviewing the comment on it, and I had a PR I was gonna merge in another project, just clicked the wrong tab.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants