editor: configurable document diff and revert urls
[fnpeditor.git] / src / wlxml / extensions /
drwxr-xr-x   ..
drwxr-xr-x - list