aboutsummaryrefslogtreecommitdiff
path: root/editor/plugins
ModeNameSize
-rwxr-xr-xdune114logplain
-rwxr-xr-xfootnotes.ml8460logplain
-rwxr-xr-xlink_editor.ml3705logplain
-rwxr-xr-xplugins.ml4085logplain
-rwxr-xr-xpopin.ml2584logplain
-rwxr-xr-xtooltip.ml3087logplain