summaryrefslogtreecommitdiff
path: root/editor/forms/add_page.mli
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@dailly.me>2022-02-07 15:19:29 +0100
committerSébastien Dailly <sebastien@dailly.me>2022-02-07 16:22:43 +0100
commit56a215bb448870b48befd78668d7bb39e0530f51 (patch)
tree42eb0546b6126438511d05b1e3da41f377fe1b56 /editor/forms/add_page.mli
parent3ce21441d5116b69eb511f5dba70765ec6eccbd2 (diff)
Update input element
Diffstat (limited to 'editor/forms/add_page.mli')
0 files changed, 0 insertions, 0 deletions