Denis Vlasenko 38f6319421 cmdedit is not a 'command' editing anymore, it's just editing (generic), ...

so rename stuff accordingly.

2007-01-22 09:03:07 +00:00

28 KiB

Raw Blame History

View Raw