christianjann

Christian Jann

Christian Jann

Christian Jann pushed 4 commits to christianjann/tinkerer

0cc32e0 - Couple of layout tweaks
27d355b - Add reminder that contrib pulls should also update CONTRIBUTORS list
e7054a8 - Cleanup shellsession docs as it got pulled into Pygments. Update extension docs with latest from contrib
1271d49 - Better fix for sidebar issue when zooming