diff options
| author | Théo Zimmermann | 2020-02-17 15:06:52 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2020-02-17 15:06:52 +0100 |
| commit | c51323a3cf1f4bb4c1ec170e3a1acfc6f5b1696b (patch) | |
| tree | 64775f31355e5030a3e3d5f995868453d6d6aaf4 /man | |
| parent | e7384ffaf290cb01eba1df12d3e13ddd9a4b3c92 (diff) | |
| parent | d6e8a9ff3834d0dad7ac26683fff950f061e08bc (diff) | |
Merge PR #11593: Update bug report address in coqwc man page.
Reviewed-by: Zimmi48
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 |