Wiki and Wiki

[marcelEuchnerMartinez]

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

[yuxiaomao]

heaps-doc and wiki is now sync again (daily)! Public wiki modification is disabled, please use PR instead.