aboutsummaryrefslogtreecommitdiff
path: root/editor/forms
ModeNameSize
-rwxr-xr-xadd_page.ml1285logplain
-rwxr-xr-xadd_page.mli152logplain
-rwxr-xr-xdelete_page.ml560logplain
-rwxr-xr-xdune153logplain
-rwxr-xr-xevents.ml384logplain