aboutsummaryrefslogtreecommitdiff
path: root/editor/actions
ModeNameSize
-rwxr-xr-xactions.ml3815logplain
-rwxr-xr-xadd_page.ml1025logplain
-rwxr-xr-xdelete_page.ml669logplain
-rwxr-xr-xdune149logplain
-rwxr-xr-xevent.ml137logplain
-rwxr-xr-xload_page.ml208logplain