This commit is contained in:
Swrup 2022-04-12 13:46:37 +02:00
parent 9db5cdfd22
commit e7e40c3ce9
13 changed files with 33 additions and 7 deletions

View file

@ -1,3 +1,5 @@
(* BSD-2-Clause License *)
let leaflet =
match Jv.(find global "L") with
| Some l -> l