diff options
| author | Sébastien Dailly <sebastien@dailly.me> | 2021-12-02 21:36:42 +0100 |
|---|---|---|
| committer | Sébastien Dailly <sebastien@dailly.me> | 2022-02-07 16:43:33 +0100 |
| commit | e78c236a8d28784370f192a3410693c456dc628f (patch) | |
| tree | 3898c5d140f7900a983d814cb9d29b7da9db9b09 /editor/actions/add_page.ml | |
| parent | f30e3eeb06bb932e6735868d404926cc7a9cd8aa (diff) | |
Added comment in editor event loop
Diffstat (limited to 'editor/actions/add_page.ml')
0 files changed, 0 insertions, 0 deletions