diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2018-06-10 21:47:42 +0200 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2018-06-10 21:47:42 +0200 |
| commit | 1da567efc970240b69e7c7ba555917b90aa85fa0 (patch) | |
| tree | fe9034f1ce8c32032d419f59341b9c5f158c6a3d /doc/web.texi | |
| parent | ecb1cabe6e7c0061377f3858b1933e71a3215781 (diff) | |
| download | geiser-1da567efc970240b69e7c7ba555917b90aa85fa0.tar.gz geiser-1da567efc970240b69e7c7ba555917b90aa85fa0.tar.bz2 | |
Moving to Gitlab
Probably not a totally smart move, since sooner or later gitlab's
going to fall as github did (for a fruity company would be my bet).
But oh well, at least we can export a CSV of the issues!
Diffstat (limited to 'doc/web.texi')
| -rw-r--r-- | doc/web.texi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/web.texi b/doc/web.texi index b30ead2..5ec902e 100644 --- a/doc/web.texi +++ b/doc/web.texi @@ -22,8 +22,8 @@ @html <br/> <div class="navigation" align="right"> -<a class="navlink" href="https://github.com/jaor/geiser/issues">Bugs</a> -<a class="navlink" href="https://github.com/jaor/geiser.git">Source</a> +<a class="navlink" href="https://gitlab.com/jaor/geiser/issues">Bugs</a> +<a class="navlink" href="https://gitlab.com/jaor/geiser.git">Source</a> <a class="navlink" href="http://lists.nongnu.org/mailman/listinfo/geiser-users">Mailing list</a> </div> @end html |