elpasync pushed a change to branch externals/devdocs.
from c8f5ca5c01 Refactoring
new 477843fe67 Refactoring
new ca94548c0f Display page name (rather than number) in header line
new 51a3ceaf66 Use cache for document indexes
new 4f64975c60 Additional page navigation commands (with keybindings)Summary of changes: devdocs.el | 139 ++++++++++++++++++++++++++++++++++--------------------------- 1 file changed, 78 insertions(+), 61 deletions(-)
