Junegunn Choi 0ad30063ff Rename previous-history to prev-history ... previous-history is still supported for backward compatibility		2022-12-10 22:42:56 +09:00
..
man1	Rename previous-history to prev-history	2022-12-10 22:42:56 +09:00