You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
👍 @tacaswell must decide if we want to take on the additional dependency for the docs (sphinx-copybutton seems quite lightweight and does not have any dependencies itself).
Activity
timhoffm commentedon Nov 4, 2018
👍 @tacaswell must decide if we want to take on the additional dependency for the docs (sphinx-copybutton seems quite lightweight and does not have any dependencies itself).
dstansby commentedon Nov 5, 2018
👍 on this too!