diff options
| author | ng0 <ng0@n0.is> | 2018-01-08 16:25:11 +0000 |
|---|---|---|
| committer | ng0 <ng0@n0.is> | 2018-01-08 16:25:11 +0000 |
| commit | d7da7fb8c3d3eaeb954a9ad8e96066902b7ae1f5 (patch) | |
| tree | 6e7da1c8776b7951deee01575c6357804afdeb0f | |
| parent | 645ef8438716a2c70071c8797a11e250de0324e6 (diff) | |
developers.hmtl.j2: Use Git Server instead of GitWeb. Technically we run Cgit for the view.
| -rw-r--r-- | developers.html.j2 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/developers.html.j2 b/developers.html.j2 index c17cf991..ec0729e0 100644 --- a/developers.html.j2 +++ b/developers.html.j2 @@ -15,8 +15,8 @@ <p> {% trans %} A list of our Git - repositories can be found in - our <a href="https://gnunet.org/git/">GitWeb</a>. + repositories can be found on our + our <a href="https://gnunet.org/git/">Git Server</a>. {% endtrans %} </p> </div> |