summaryrefslogtreecommitdiff
path: root/editor/actions
ModeNameSize
-rwxr-xr-xactions.ml3803logplain
-rwxr-xr-xadd_page.ml1035logplain
-rwxr-xr-xdelete_page.ml679logplain
-rwxr-xr-xdune149logplain
-rwxr-xr-xload_page.ml209logplain