diff options
| author |  Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2018-01-04 20:35:26 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2018-01-08 16:21:49 +0100 |
| commit | c63303c56b03ff01fe3e72c76c274e266dc83be5 (patch) | |
| tree | b72d9f232f88138aee88a4577fc90e65baf2c152 /configure.ml | |
| parent | 2d6e395dead61a49ede6208bc40e16b4b8e68ce4 (diff) | |
Stop talking about debian in "A note about rlwrap"
Debian stable version is 0.42-3 right now.
Diffstat (limited to 'configure.ml')
0 files changed, 0 insertions, 0 deletions