aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorYves Bertot2016-03-02 12:17:11 +0100
committerYves Bertot2016-03-02 12:17:11 +0100
commite778b39bf9253bce07dfef1bcce6979e16f74001 (patch)
tree3465142249600fffe0a4cce10bdd7752c2844b87
parentf3938c6ee7395589df4e6181bedcf74231138916 (diff)
parentfa6486545241822586fbfec995715a534e3489ee (diff)
Merge pull request #32 from hivert/patch-1
Fix the address of the wiki.
-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