2022-04-05 16:33:14 +02:00
|
|
|
(library
|
|
|
|
|
(public_name leaflet)
|
2022-06-20 07:57:38 +02:00
|
|
|
(modules event global latlng layer map popup point icon)
|
2022-04-09 22:21:22 +02:00
|
|
|
(private_modules global)
|
2022-04-08 22:43:31 +02:00
|
|
|
(libraries brr)
|
2022-04-05 16:33:14 +02:00
|
|
|
(js_of_ocaml
|
|
|
|
|
(javascript_files leaflet.js)))
|
