Reword INFO_DESC to better reflect that it's about documentation in GNU
info format.
Submitted by: jbeich
Description
Description
Details
Details
- Provenance
marius Authored on - Parents
- rP521243: editors/mp: Update to 5.36; unbreak
- Branches
- Unknown
- Tags