Revision 7401366a
ID | 7401366ac9b2221cb40005b5454c0e069b0fa393 |
Parent | 8d3d3259 |
Child | 2256cd00 |
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.
Files
- added
- modified
- copied
- renamed
- deleted