Open marcelEuchnerMartinez opened 1 year ago
Heaps doc describes itself as a mirror of the latter.
But are both heaps-doc and wiki equivalent?
Where should changes be uploaded to??
I feel like making a pull request for every small change to the wiki is a bit cumbersome.
And just editing with the github wiki is pretty straightforward.
But if it should be done this way, then it should be this way.
Anyway, please, let me know!!
This is related to heaps issue 1140 and 1078
Where should changes to wiki/docs be made? What do you prefer?
Heaps doc describes itself as a mirror of the latter.
But are both heaps-doc and wiki equivalent?
Where should changes be uploaded to??
I feel like making a pull request for every small change to the wiki is a bit cumbersome.
And just editing with the github wiki is pretty straightforward.
But if it should be done this way, then it should be this way.
Anyway, please, let me know!!
This is related to heaps issue 1140 and 1078