Documentation outdated on keybinding
CtheSky opened this issue · 1 comments
CtheSky commented
The keybindings of anaconda-mode-find-assignments commands were changed from * to = in this commit 5e1965a but the documentation hasn't been updated.
proofit404 commented
Hi, PR welcome.