diff options
author | 2018-01-04 20:35:26 +0100 | |
---|---|---|
committer | 2018-01-08 16:21:49 +0100 | |
commit | c63303c56b03ff01fe3e72c76c274e266dc83be5 (patch) | |
tree | b72d9f232f88138aee88a4577fc90e65baf2c152 /man/coqchk.1 | |
parent | 2d6e395dead61a49ede6208bc40e16b4b8e68ce4 (diff) |
Stop talking about debian in "A note about rlwrap"
Debian stable version is 0.42-3 right now.
Diffstat (limited to 'man/coqchk.1')
0 files changed, 0 insertions, 0 deletions