aboutsummaryrefslogtreecommitdiff
path: root/editor/actions
ModeNameSize
-rwxr-xr-xadd_page.ml998logplain
-rwxr-xr-xdelete_page.ml712logplain
-rwxr-xr-xdune146logplain
-rwxr-xr-xeditor_actions.ml5238logplain
-rwxr-xr-xeditor_actions.mli393logplain
-rwxr-xr-xexport.ml982logplain
-rwxr-xr-ximport.ml1366logplain
-rwxr-xr-xload_page.ml156logplain