aboutsummaryrefslogtreecommitdiff
path: root/editor/forms
ModeNameSize
-rwxr-xr-xadd_page.ml1512logplain
-rwxr-xr-xadd_page.mli32logplain
-rwxr-xr-xdelete_page.ml639logplain
-rwxr-xr-xdune153logplain
-rwxr-xr-xevents.ml361logplain
-rwxr-xr-xui.ml2052logplain