Hans-Christoph Steiner 7401366ac9 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.
2014-05-08 00:58:42 -04:00
..
2014-02-08 11:29:59 +11:00
2012-09-16 10:08:30 +01:00
2014-05-01 19:25:07 +02:00