search

jacamo-lang / jacamo-web

web interface for JaCaMo
7 stars 6 forks source link

Improve UI of git credential prompt #27

Closed TimKam closed 4 years ago

TimKam commented 4 years ago

This is essentially just a basic UI update; perhaps I can re-use some components for the "issues awareness" display.