editor: refactoring the way document properties are kept
[fnpeditor.git] / src / editor / modules / diffViewer /
drwxr-xr-x   ..
-rw-r--r-- 50 diff.html
-rw-r--r-- 928 diffViewer.js
-rw-r--r-- 1659 diffViewer.less