editor: Fix jumping to a different version of a document
[fnpeditor.git] / tests /
drwxr-xr-x   ..
-rw-r--r-- 1649 main.js