aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorFlorent Hivert2016-03-02 11:47:26 +0100
committerFlorent Hivert2016-03-02 11:47:26 +0100
commitfa6486545241822586fbfec995715a534e3489ee (patch)
tree3465142249600fffe0a4cce10bdd7752c2844b87
parentf3938c6ee7395589df4e6181bedcf74231138916 (diff)
Fix the address if the wiki.
The previous fix wasn't right.
-rw-r--r--etc/ANNOUNCE-github.md2
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/ANNOUNCE-github.md b/etc/ANNOUNCE-github.md
index 95f633f..79e5730 100644
--- a/etc/ANNOUNCE-github.md
+++ b/etc/ANNOUNCE-github.md
@@ -17,7 +17,7 @@ library will be carefully assessed on all the mature projects part of the organi
exchange we expect members of the organization to actively maintain their code when a breaking
change is applied or a patch is proposed.
-The organization hosts a [wiki](https://github.com/math-comp/math-comp/wiki/wiki) for exchanging tips
+The organization hosts a [wiki](https://github.com/math-comp/wiki/wiki) for exchanging tips
and tricks, gotchas, good practices, etc.
The ssreflect [mailing list](https://sympa.inria.fr/sympa/info/ssreflect) shall serve as the