Skip to content
New issue

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

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

Already on GitHub? # to your account

docs: Remote plugin reference unnecessary for GitHub Pages #1439

Merged
merged 1 commit into from
Jan 2, 2018
Merged

docs: Remote plugin reference unnecessary for GitHub Pages #1439

merged 1 commit into from
Jan 2, 2018

Conversation

MV10
Copy link
Contributor

@MV10 MV10 commented Jan 2, 2018

Per #1432

@MV10 MV10 changed the title Remote plugin reference unnecessary for GitHub Pages docs: Remote plugin reference unnecessary for GitHub Pages Jan 2, 2018
@mmistakes
Copy link
Owner

Thanks!

@mmistakes mmistakes merged commit d95cfbc into mmistakes:master Jan 2, 2018
@MV10 MV10 deleted the patch-1 branch January 2, 2018 21:56
kkunapuli pushed a commit to kkunapuli/kkunapuli.github.io that referenced this pull request May 30, 2019
sumeetmondal pushed a commit to sumeetmondal/sumeetmondal.github.io that referenced this pull request Sep 10, 2019
jchwenger pushed a commit to jchwenger/jchwenger.github.io that referenced this pull request May 5, 2023
# for free to join this conversation on GitHub. Already have an account? # to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants