summaryrefslogtreecommitdiff
path: root/editor/actions
ModeNameSize
-rwxr-xr-xadd_page.ml1017logplain
-rwxr-xr-xdelete_page.ml730logplain
-rwxr-xr-xdune167logplain
-rwxr-xr-xeditor_actions.ml5414logplain
-rwxr-xr-xeditor_actions.mli411logplain
-rwxr-xr-xexport.ml1000logplain
-rwxr-xr-ximport.ml1386logplain
-rwxr-xr-xload_page.ml156logplain
-rwxr-xr-xof_markdown.ml8219logplain
-rwxr-xr-xto_markdown.ml9523logplain