diff options
| author | Gaëtan Gilbert | 2020-02-13 13:52:48 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-02-13 13:53:34 +0100 |
| commit | d6e8a9ff3834d0dad7ac26683fff950f061e08bc (patch) | |
| tree | 43adf4a858d665f5ea2acea28eb8e71752e4dbf0 /man | |
| parent | 713f8a1af8c5e053ea6dc7b58a4a2b04a1e67c2f (diff) | |
Update bug report address in coqwc man page.
Diffstat (limited to 'man')
| -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 |