summaryrefslogtreecommitdiff
path: root/layer/linePrinter.mli
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 /layer/linePrinter.mli
parent179720a7f2c790ea5557bb5caabe22a926b3e106 (diff)
In popup, added a predicate to validate the form
Diffstat (limited to 'layer/linePrinter.mli')
0 files changed, 0 insertions, 0 deletions