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/install.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/install.texi')
-rw-r--r-- | doc/install.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/install.texi b/doc/install.texi index 55176cf..2a94216 100644 --- a/doc/install.texi +++ b/doc/install.texi @@ -130,7 +130,7 @@ git clone http://git.sv.gnu.org/r/geiser.git @noindent You can also follow Geiser's development in -@uref{https://github.com/jaor/geiser, one} +@uref{https://gitlab.com/jaor/geiser, one} @uref{http://repo.or.cz/w/geiser.git, or} @uref{http://gitorious.org/geiser, three} mirrors that are kept synchronized with the one at Savannah. |