That's a typo, being couple of mod params with the same purpose in the two modules, I did some copy&paste from topoh (older module) and topos. I will fix the docs, thanks for pointing it out.


You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.