summaryrefslogtreecommitdiff
path: root/editor/editor.ml
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@dailly.me>2022-02-07 15:17:51 +0100
committerSébastien Dailly <sebastien@dailly.me>2022-02-07 16:43:33 +0100
commit4ba4951e530cbdfb6fa7bee811456208a83ce1dd (patch)
treea336f1bd979da47864b3899ea340378015e72dd6 /editor/editor.ml
parent179720a7f2c790ea5557bb5caabe22a926b3e106 (diff)
In popup, added a predicate to validate the form
Diffstat (limited to 'editor/editor.ml')
0 files changed, 0 insertions, 0 deletions