history wip: Updating history list after saving document
-rw-r--r-- 998 entrypoint.js
drwxr-xr-x - fnpjs
drwxr-xr-x - libs
-rw-r--r-- 1055 modules.js
drwxr-xr-x - modules
-rw-r--r-- 214 rng.js
drwxr-xr-x - styles
drwxr-xr-x - views
-rw-r--r-- 10111 vkbeautify.js