« Previous | Next » 

Revision 7401366a

Parent 8d3d3259
Child 2256cd00

Added by Hans-Christoph Steiner over 3 years ago

quick improvement of LocalRepoActivity layout

This is meant to try to make the on/off state of the webserver that serves
the local repo more apparent.


  • added
  • modified
  • copied
  • renamed
  • deleted

View differences