Skip to content

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
@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