diff options
Diffstat (limited to 'man/coqwc.1')
| -rw-r--r-- | man/coqwc.1 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/coqwc.1 b/man/coqwc.1 index 4594aeecb7..eee37f3d1f 100644 --- a/man/coqwc.1 +++ b/man/coqwc.1 @@ -44,4 +44,4 @@ Do not skip headers .SH BUGS Please report any bug to -.B coq\-bugs@pauillac.inria.fr +.B https://github.com/coq/coq/issues |