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

WIP: Miscellaneous page #156

Merged
merged 4 commits into from Jul 27, 2019
Merged

WIP: Miscellaneous page #156

merged 4 commits into from Jul 27, 2019

Conversation

tobyhodges
Copy link
Contributor

Fixes #89
Fixes #125
Fixes #54
Fixes #116

This is pretty rough, but (I hope) a decent start. Please check the introductory text for each snippet - I may have completely misunderstood the motivation behind some of these workarounds/hacks!

@tobyhodges tobyhodges added the for miscellaneous page things to be added to a _extras/miscellaneous page label Jul 27, 2019
@tobyhodges tobyhodges requested a review from mr-c July 27, 2019 15:04
_extras/miscellaneous.md Outdated Show resolved Hide resolved
_extras/miscellaneous.md Outdated Show resolved Hide resolved
@mr-c mr-c merged commit 00df367 into gh-pages Jul 27, 2019
@mr-c mr-c deleted the miscellaneous-page branch July 27, 2019 15:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
for miscellaneous page things to be added to a _extras/miscellaneous page
Projects
None yet
2 participants