diff options
| -rw-r--r-- | devel.html | 4 | ||||
| -rw-r--r-- | devel.wml | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/devel.html b/devel.html index c3277afc72..c81e1cd35a 100644 --- a/devel.html +++ b/devel.html @@ -90,8 +90,8 @@ $ make check </table> <p>You will need several developer tools, which are listed in -<a href="https://gitlab.com/gnutls/gnutls/blob/master/README-alpha.md"> -README-alpha</a>. +<a href="https://gitlab.com/gnutls/gnutls/blob/master/README.md"> +README</a>. </p> <p>If you wish to contribute, you may read more about @@ -42,8 +42,8 @@ $ make check </table> <p>You will need several developer tools, which are listed in -<a href="https://gitlab.com/gnutls/gnutls/blob/master/README-alpha.md"> -README-alpha</a>. +<a href="https://gitlab.com/gnutls/gnutls/blob/master/README.md"> +README</a>. </p> <p>If you wish to contribute, you may read more about |