comparison setup.cfg @ 4158:5dd45784a8e0

rewind: alias the command to undo This is a step in unifiying rewind and undo and not talk about them as different commands or concepts. If there exists rewind command, that should be an alias of undo and the vice versa. The exact implmentation detail and how the command works etc. is a different thing but there should be just one command.
author Pulkit Goyal <pulkit@yandex-team.ru>
date Fri, 12 Oct 2018 02:12:23 +0300
parents b81d3775006b
children
comparison
equal deleted inserted replaced
4157:fb0962b5e9e7 4158:5dd45784a8e0