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 /dev/doc/changes.md | |
| parent | 713f8a1af8c5e053ea6dc7b58a4a2b04a1e67c2f (diff) | |
Update bug report address in coqwc man page.
Diffstat (limited to 'dev/doc/changes.md')
0 files changed, 0 insertions, 0 deletions