summaryrefslogtreecommitdiff
path: root/editor/forms
ModeNameSize
-rwxr-xr-xadd_page.ml819logplain
-rwxr-xr-xadd_page.mli87logplain
-rwxr-xr-xdelete_page.ml363logplain
-rwxr-xr-xdune144logplain
-rwxr-xr-xevents.ml112logplain