Closed bjones1 closed 4 years ago
@bnmnetp pinging...this should be a zero-impact change, just pushing my edits upstream...
Thanks! I somehow forgot to file a PR for the matching server-side update. I just did that as https://github.com/RunestoneInteractive/RunestoneServer/pull/1484.
A set of fixes and updates to the literate programming component.