From 1da567efc970240b69e7c7ba555917b90aa85fa0 Mon Sep 17 00:00:00 2001 From: Jose Antonio Ortega Ruiz Date: Sun, 10 Jun 2018 21:47:42 +0200 Subject: 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! --- doc/web.texi | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'doc/web.texi') 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
@end html -- cgit v1.2.3