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) | |
| download | www-d7da7fb8c3d3eaeb954a9ad8e96066902b7ae1f5.tar.gz www-d7da7fb8c3d3eaeb954a9ad8e96066902b7ae1f5.zip | |
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 @@ | |||
| 15 | <p> | 15 | <p> |
| 16 | {% trans %} | 16 | {% trans %} |
| 17 | A list of our Git | 17 | A list of our Git |
| 18 | repositories can be found in | 18 | repositories can be found on our |
| 19 | our <a href="https://gnunet.org/git/">GitWeb</a>. | 19 | our <a href="https://gnunet.org/git/">Git Server</a>. |
| 20 | {% endtrans %} | 20 | {% endtrans %} |
| 21 | </p> | 21 | </p> |
| 22 | </div> | 22 | </div> |