aboutsummaryrefslogtreecommitdiff
path: root/editor/actions/add_page.ml
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2021-09-06 09:50:51 +0200
committerSébastien Dailly <sebastien@dailly.me>2022-02-07 16:43:33 +0100
commit12d8d9e671ed8010c5a17183b304dd7357411200 (patch)
treeba11e4e3f29515d96e949fd050b6b292165ad7eb /editor/actions/add_page.ml
parentcee939ada70967b70fe92ca24b3428cc8c8b7c38 (diff)
Deps correction
Diffstat (limited to 'editor/actions/add_page.ml')
0 files changed, 0 insertions, 0 deletions