diff options
| author |  Joey Hess <joeyh@joeyh.name> | 2016-05-04 14:12:41 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2016-05-04 14:12:41 -0400 |
| commit | e908ff5dfd9d4b8cbc586aea5c24a439318fe378 (patch) | |
| tree | 6e46f53df8015e5c10ad9607a3e6a6e69fab1e50 /Utility/Url.hs | |
| parent | ac4302a04cc07fc001e54607d4972c15a07e7d5d (diff) | |
map: Hide dead repositories that are not connected to the graph.
* map: Hide dead repositories that are not connected to the graph.
* map: Changed colors; red is used for untrusted repositories and grey
for dead.
Diffstat (limited to 'Utility/Url.hs')
0 files changed, 0 insertions, 0 deletions