WIP: UI Updates - Githubissues

urweb / upo

The Ur/Web People Organizer

http://upo.csail.mit.edu/

Other

29 stars 15 forks source link

Closed dan-nectry closed 11 months ago

dan-nectry commented 1 year ago

Make things a little prettier

achlipala commented 11 months ago

Looks straightforward and appropriate. I'm ready to merge when you are.