comparison COPYING @ 41699: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 8c8b55733cbd
children
comparison
equal deleted inserted replaced
41698:5fe4de392edb 41699:5d63cb7d8f83