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
This fixes the view button, adds an edit button (not that fond of it,
but since there's also a view, I think it's fine), and adds a little
github logo at the bottom. I'd rather it at the top, but this is where
it's natural in this theme.
Signed-off-by: Henry Schreiner <henryfs@princeton.edu>
0 commit comments