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 /plugins/syntax | |
| parent | e7384ffaf290cb01eba1df12d3e13ddd9a4b3c92 (diff) | |
| parent | d6e8a9ff3834d0dad7ac26683fff950f061e08bc (diff) | |
Merge PR #11593: Update bug report address in coqwc man page.
Reviewed-by: Zimmi48
Diffstat (limited to 'plugins/syntax')
0 files changed, 0 insertions, 0 deletions