summaryrefslogtreecommitdiff
path: root/editor/forms
ModeNameSize
-rwxr-xr-xadd_page.ml802logplain
-rwxr-xr-xadd_page.mli78logplain
-rwxr-xr-xdune108logplain
-rwxr-xr-xselector.ml1326logplain
-rwxr-xr-xvalidation.ml168logplain
-rwxr-xr-xvalidation.mli66logplain