Mode | Name | Size | |
---|---|---|---|
-rwxr-xr-x | actions.ml | 3158 | logplain |
-rwxr-xr-x | dune | 315 | logplain |
-rw-r--r-- | editor.css | 8750 | logplain |
-rwxr-xr-x | editor.ml | 8049 | logplain |
-rwxr-xr-x | footnotes.ml | 8460 | logplain |
-rwxr-xr-x | forms.css | 367 | logplain |
d--------- | forms | 190 | logplain |
-rwxr-xr-x | index.html | 3126 | logplain |
-rwxr-xr-x | link_editor.ml | 4431 | logplain |
-rwxr-xr-x | modal.css | 1382 | logplain |
-rwxr-xr-x | plugins.ml | 4121 | logplain |
-rwxr-xr-x | popin.ml | 2584 | logplain |
d--------- | prosemirror | 156 | logplain |
-rwxr-xr-x | storage.ml | 3416 | logplain |
-rwxr-xr-x | storage.mli | 805 | logplain |
-rwxr-xr-x | tooltip.ml | 3087 | logplain |
-rwxr-xr-x | ui.ml | 1645 | logplain |