Skip to content

Conversation

timotheecour
Copy link
Member

TODO after PR

address remaining points from https://forum.nim-lang.org/t/6904
in particular, integrate with CI

@Araq Araq merged commit a24a381 into nim-lang:master Oct 11, 2020
@timotheecour timotheecour deleted the pr_doctools branch October 11, 2020 08:04
@timotheecour timotheecour mentioned this pull request Oct 27, 2020
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