diff .hgsigs @ 41710:5d63cb7d8f83

histedit: remove "chistedit" mention from interface "chisted" is internal jargon. The end user should not need to be aware that it's different from histedit.
author Jordi Gutiérrez Hermoso <jordigh@octave.org>
date Wed, 13 Feb 2019 16:02:44 -0500
parents 8b2892d5a9f2
children d1c33b2442a7
line wrap: on
line diff