Closed jpfeuffer closed 3 years ago
awesome
there is still the second binder button but I guess that is an artefact
The big one on the bottom? No, this has to be removed. Superfluous now.
maybe even a good idea to keep both buttons? Some beginners might not see the small one at the top?
Hmmm not sure. I think we should rather mention it in the introduction and/or in a new chapter or find some place more prominent?
k I put this in an issue
Fixes adding of buttons to the header. See https://pyopenms.readthedocs.io/en/update-rtdbuild/