Mode | Name | Size | |
---|---|---|---|
-rwxr-xr-x | actions.ml | 3078 | logplain |
-rwxr-xr-x | app.ml | 2858 | logplain |
-rwxr-xr-x | dune | 335 | logplain |
-rw-r--r-- | editor.css | 8750 | logplain |
-rwxr-xr-x | editor.ml | 3555 | logplain |
-rwxr-xr-x | forms.css | 367 | logplain |
d--------- | forms | 190 | logplain |
-rwxr-xr-x | index.html | 3126 | logplain |
-rwxr-xr-x | modal.css | 1382 | logplain |
d--------- | plugins | 226 | logplain |
d--------- | prosemirror | 156 | logplain |
d--------- | state | 182 | logplain |
-rwxr-xr-x | ui.ml | 2064 | logplain |