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 | ae3adf7505beeb1d2e8e6cd3e075539e41c7edd5 (patch) | |
| tree | 07bfae6a28d4c1efb37c9c40561a51e9c763db35 /doc/web.texi | |
| parent | ec3d0ea34081789da44f0b11b2cf05627a1e9b8e (diff) | |
| download | geiser-guile-ae3adf7505beeb1d2e8e6cd3e075539e41c7edd5.tar.gz geiser-guile-ae3adf7505beeb1d2e8e6cd3e075539e41c7edd5.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 |